Search results
Title Davey, Brian A.: Dualisability in general and endodualisability in particular Author info Miroslav Haviar Author Haviar Miroslav 1965- (100%) UMBPF03 - Katedra matematiky
Source document MathSciNet : Mathematical Reviews on the web. online, MR1404951 (97h:08001), pp. [1-2]. - Providence : American Mathematical Society, 1997 Review document Dualisability in general and endodualisability in particular / Brian A. Davey. - New York : Dekker, 1996 Keywords algebra - algebra duality prirodzené recenzie - reviews Language English Country United States of America systematics 51 Public work category EDI No. of Archival Copy 43324 Catal.org. UKUMB###KHPV###BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ 
book
Title Priestley, H. A.: Natural dualities Author info Miroslav Haviar Title Subtitle Translation : Prirodzené duality Author Haviar Miroslav 1965- (100%) UMBPF03 - Katedra matematiky
Source document MathSciNet : Mathematical Reviews on the web. online, MR1366872 (96k:08010), pp. [1-2]. - Providence : American Mathematical Society, 1996 Review document Natural dualities / H. A. Priestley. - Lemgo : Heldermann, 1995 Keywords algebra - algebra duality prirodzené recenzie - reviews Language English Country United States of America systematics 51 Public work category EDI No. of Archival Copy 43332 Catal.org. UKUMB###KHPV###BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ book
Title Expanding Belnap: dualities for a new class of default bilattices Author info Andrew P. K. Craig, Brian A. Davey, Miroslav Haviar Author Craig Andrew, P. K. (34%)
Co-authors Davey Brian A. (33%)
Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Source document Algebra universalis. Vol. 81, no. 4 (2020), pp. 1-26. - Basel : Springer Nature Switzerland AG, 2020 Keywords natural duality výsledky - results algebras Form. Descr. články - journal articles Language English Country Switzerland Annotation Bilattices provide an algebraic tool with which to model simultaneously knowledge and truth. They were introduced by Belnap in 1977 in a paper entitled How a computer should think. Belnap argued that instead of using a logic with two values, for ‘true’ and ‘false’, a computer should use a logic with two further values, for ‘contradiction’ and ‘no information´. The resulting structure is equipped with two lattice orders, a knowledge order and a truth order, and hence is called a bilattice. Prioritised default bilattices include not only values for ‘true’, ‘false’, ‘contradiction’ and ‘no information’, but also indexed families of default values for simultaneous modelling of degrees of knowledge and truth. We focus on a new family of prioritised default bilattices: Jn, for all natural numbers n. The bilattice J0 is precisely Belnap’s seminal example. We obtain a multisorted duality for the variety generated by Jn, and separately a single sorted duality for the quasivariety generated by Jn. The main tool for both dualities is a unified approach that enables us to identify the meet-irreducible elements of the appropriate subuniverse lattices. Our results provide an interesting example where the multi-sorted duality for the variety has a simpler structure than the single-sorted duality for the quasivariety URL Link na zdrojový dokument Public work category ADC No. of Archival Copy 48507 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika 
unrecognised
Title On selected developments in the theory of natural dualities Author info Miroslav Haviar Author Haviar Miroslav 1965- (100%) UMBFP10 - Katedra matematiky
Source document Acta Universitatis Matthiae Belii : series Mathematics, Vol. 27. Pp. 59-78. - Banská Bystrica : Vydavateľstvo Univerzity Mateja Bela - Belianum, 2019 / Haviar Miroslav 1965- Keywords matematika - mathematics prírodné vedy - natural sciences duality algebra - algebra Form. Descr. príspevky v zborníku - proceedings papers Language English Country Slovak Republic Public work category AED No. of Archival Copy 47101 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ 
article
Title Bohr compactifications of algebras and structures Author info B. A. Davey, M. Haviar, H. A. Priestley Author Davey Brian A. (34%)
Co-authors Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Priestley Hilary A. (33%)
Source document Applied Categorical Structures. Vol. 25, no. 3 (2017), pp. 403-430. - Dordrecht : Springer, 2017 Person keywords Bohr Niels dánsky fyzik 1885-1962 Keywords natural duality natural extension distributive lattices Stone-Čechova kompaktifikácia - Stone-Čech compactification Language English Country Netherlands systematics 51 Annotation This paper provides a unifying framework for a range of categorical constructions characterised by universal mapping properties, within the realm of compactifications of discrete structures. Some classic examples fit within this broad picture: the Bohr compactification of an abelian group via Pontryagin duality, the zero-dimensional Bohr compactification of a semilattice, and the Nachbin order-compactification of an ordered set. The notion of a natural extension functor is extended to suitable categories of structures and such a functor is shown to yield a reflection into an associated category of topological structures. Our principal results address reconciliation of the natural extension with the Bohr compactification or its zero-dimensional variant. In certain cases the natural extension functor and a Bohr compactification functor are the same; in others the functors have different codomains but may agree on all objects. Coincidence in the stronger sense occurs in the zero-dimensional setting precisely when the domain is a category of structures whose associated topological prevariety is standard. It occurs, in the weaker sense only, for the class of ordered sets and, as we show, also for infinitely many classes of ordered structures. Coincidence results aid understanding of Bohr-type compactifications, which are defined abstractly. Ideas from natural duality theory lead to an explicit description of the natural extension which is particularly amenable for any prevariety of algebras with a finite, dualisable, generator. Examples of such classes-often varieties-are plentiful and varied, and in many cases the associated topological prevariety is standard. Public work category ADM No. of Archival Copy 39736 Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika unrecognised
Title Piggyback dualities revisited Author info Davey B. A., Haviar M., Priestley H. A. Author Davey Brian A. (34%)
Co-authors Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Priestley Hilary A. (33%)
Source document Algebra Universalis. Vol. 76, no. 2 (2016), pp. 245-285. - Cham : Springer Nature Switzerland AG, 2016 Keywords duality duality theory Priestley duality Priestleyovská dualita Language English Country Switzerland systematics 51 Public work category ADC No. of Archival Copy 37066 Repercussion category CABRER, Leonardo M. - SPADA, Luca. MV-algebras, infinite dimensional polyhedra, and natural dualities. In Archive for mathematical logic. ISSN 0933-5846, 2017, vol. 56, no. 1-2, pp. 21-42.
Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika article
Title Reconciliation of approaches to the construction of canonical extensions of bounded lattices Par.title Zladenie prístupov ku konštrukcii kanonického rozšírenia ohraničeného zväzu Author info Andrew Craig, Miroslav Haviar Author Craig Andrew, P. K. (50%)
Co-authors Haviar Miroslav 1965- (50%) UMBFP10 - Katedra matematiky
Source document Mathematica Slovaca. Vol. 64, no. 3 (2014), pp. 1335-1356. - Bratislava : Slovenská akadémia vied, Matematický ústav SAV, 2014 Keywords kanonické rozšírenia topologická reprezentácia Galoisova väzba canonical extension natural duality Galois connection Language English Country Slovak Republic systematics 51 Public work category ADN No. of Archival Copy 31648 Repercussion category DÜNTSCH, Ivo - KWUIDA, Léonard - OROWSKA, Ewa. A discrete representation for dicomplemented lattices. In Fundamenta informaticae. ISSN 0169-2968, 2017, vol. 156, no. 3-4, pp. 281-295.
Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika article
Title A fresh perspective on canonical extensions for bounded lattices Par.title Nová perspektíva ohľadne kanonických rozšírení ohraničených zväzov Author info A. P. K. Craig, M. Haviar, H. A. Priestley Author Craig Andrew, P. K. (34%)
Co-authors Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Priestley Hilary A. (33%)
Source document Applied Categorical Structures. Vol. 21, no. 6 (2013), pp. 725-749. - Dordrecht : Springer, 2013 Keywords kanonické rozšírenia prirodzená dualita topologická reprezentácia canonical extension natural duality topological representation Language English Country Netherlands systematics 544.022 Annotation Kanonické rozšírenia algebier majú pôvod v klasických prácach B. Jónssona a A. Tarského (1951-52) o Booleových algebrách s operátormi. Z pohľadu logiky je význam kanonických rozšírení v tom, že pre mnohé logiky hrajú fundamentálnu úlohu vo vetách o úplnosti – kanonicita (znamenajúca, že algebraické identity sú zachované pri konštrukcii kanonických rozšírení) algebraických modelov logík korešponduje s úplnosťou logík. Prezentovaná je nová konštrukcia kanonických rozšírení ohraničených zväzov, ktorá je v duchu teórie prirodzených dualít. Na úrovni objektov je kanonické rozšírenie zväzu získané podobne ako v distributívnom prípade, kde sa používa Priestleyovej reprezentácia (1970). V nedistributívnom prípade je využitá topologická reprezentácia zväzov od Miroslava Ploščicu (1995), ktorá je prezentáciou klasickej Urquhartovej reprezentácie zväzov (1978) v duchu prirodzených dualít. Na úrovni morfizmov je využitá dualita Allweina a Hartonasa (1993) Public work category ADM No. of Archival Copy 27747 Repercussion category HARTONAS, Chrysafis. Order-dual relational semantics for non-distributive propositional logics : a general framework. In Journal of philosophical logic. ISSN 0022-3611, 2018, vol. 47, no. 1, pp. 67-94.
HARTONAS, Chrysafis. Order-dual relational semantics for non-distributive propositional logics. In Logic journal of the IGPL. ISSN 1367-0751, 2017, vol. 25, no. 2, pp. 145-182.
Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika unrecognised
Title Bezhanishvili, Guram; Jansana, Ramon: Priestley style duality for distributive meet-semilattices Par.title Dualita priestleyovského štýlu pre distributévne priesekové polozväzy Author info Miroslav Haviar Author Haviar Miroslav 1965- (100%) UMBFP10 - Katedra matematiky
Source document MathSciNet : Mathematical Reviews on the web. online, MR2821271 (2012h:03161), pp. [1-2]. - Providence : American Mathematical Society, 2012 Review document Studia Logica : Springer, 2011 Keywords algebra - algebra polozväzy Priestleyovská dualita semilattices Priestley duality Language English Country United States of America systematics 512 Public work category EDI No. of Archival Copy 25030 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ article
Title Natural dualities in partnership Author info Brian A. Davey, Miroslav Haviar, Hilary A. Priestley Author Davey Brian A. (34%)
Co-authors Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Priestley Hilary A. (33%)
Source document Applied Categorical Structures. Vol. 20, no. 6 (2012), pp. 583-602. - Dordrecht : Springer, 2012 Keywords prirodzená dualita prirodzené rozšírenie kanonické rozšírenia natural duality natural extension canonical extension Language English Country Netherlands systematics 512 Public work category ADE No. of Archival Copy 23307 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika article