Edit Profile (opens in new tab) Haviar, Miroslav Compute Distance To: Compute Author ID: haviar.miroslav Published as: Haviar, Miroslav; Haviar, M. Homepage: https://www.fpv.umb.sk/~mhaviar/ External Links: MGP Documents Indexed: 65 Publications since 1987, including 1 Book Co-Authors: 24 Co-Authors with 53 Joint Publications 279 Co-Co-Authors all top 5 Co-Authors 10 single-authored 20 Davey, Brian A. 15 Priestley, Hilary A. 7 Ploščica, Miroslav 6 Gouveia, Maria João 5 Craig, Andrew P. K. 3 Guffová, Daniela 3 Pitkethly, Jane G. 2 Badawy, Abd El-Mohsen 2 Ivaška, Michal 2 Katriňák, Tibor 2 Niven, Todd 2 Wegener, Claudia B. 2 Willard, Ross 1 Chajda, Ivan 1 Clark, David Michael 1 Haviar, Alfonz 1 Kaarli, Kalle 1 Kotul’ová, Katarína 1 Kurtulík, Samuel 1 Maličký, Peter 1 Perkal, Narwin 1 Snoha, Ľubomír 1 Talukder, Md. Rashed 1 Zlatoš, Pavol Ján all top 5 Serials 20 Algebra Universalis 13 Acta Universitatis Matthiae Belii. Series Mathematics 4 Mathematica Slovaca 4 Applied Categorical Structures 3 Houston Journal of Mathematics 3 International Journal of Theoretical Physics 2 Acta Scientiarum Mathematicarum 2 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 2 Czechoslovak Mathematical Journal 1 Demonstratio Mathematica 1 Glasgow Mathematical Journal 1 The Journal of Symbolic Logic 1 Portugaliae Mathematica 1 Studia Logica 1 Acta Mathematica Universitatis Comenianae. New Series 1 Tatra Mountains Mathematical Publications 1 Journal of the Australian Mathematical Society 1 Cubo 1 Research and Exposition in Mathematics all top 5 Fields 49 Order, lattices, ordered algebraic structures (06-XX) 34 General algebraic systems (08-XX) 9 Mathematical logic and foundations (03-XX) 7 Category theory; homological algebra (18-XX) 5 Quantum theory (81-XX) 4 Combinatorics (05-XX) 2 History and biography (01-XX) 2 Topological groups, Lie groups (22-XX) 1 Number theory (11-XX) 1 Group theory and generalizations (20-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 47 Publications have been cited 212 times in 94 Documents Cited by ▼ Year ▼ The syntax and semantics of entailment in duality theory. Zbl 0845.08006Davey, B. A.; Haviar, M.; Priestley, H. A. 18 1995 Structural entailment. Zbl 1090.08009Davey, Brian A.; Haviar, Miroslav; Willard, Ross 11 2005 Standard topological quasi-varieties. Zbl 1141.08301Clark, D. M.; Davey, B. A.; Haviar, M.; Pitkethly, J. G.; Talukder, M. R. 10 2003 Boolean topological distributive lattices and canonical extensions. Zbl 1122.06004Davey, B. A.; Haviar, M.; Priestley, H. A. 10 2007 Full does not imply strong, does it? Zbl 1090.08008Davey, Brian A.; Haviar, Miroslav; Willard, Ross 10 2005 Triple constructions of decomposable MS-algebras. Zbl 1284.06024Badawy, Abd El-Mohsen; Guffová, Daniela; Haviar, Miroslav 9 2012 Natural extensions and profinite completions of algebras. Zbl 1232.08006Davey, B. A.; Gouveia, M. J.; Haviar, M.; Priestley, H. A. 9 2011 A fresh perspective on canonical extensions for bounded lattices. Zbl 1318.08004Craig, A. P. K.; Haviar, M.; Priestley, H. A. 8 2013 Endoprimal distributive lattices are endodualisable. Zbl 0833.06012Davey, B. A.; Haviar, M.; Priestley, H. A. 8 1995 Reconciliation of approaches to the construction of canonical extensions of bounded lattices. Zbl 1349.06010Craig, Andrew; Haviar, Miroslav 7 2014 Natural dualities in partnership. Zbl 1284.08021Davey, Brian A.; Haviar, Miroslav; Priestley, Hilary A. 7 2012 A schizophrenic operation which aids the efficient transfer of strong dualities. Zbl 0978.08008Davey, B. A.; Haviar, M. 6 2000 Construction and affine completeness of principal \(p\)-algebras. Zbl 0853.06005Haviar, Miroslav 5 1995 TiRS graphs and TiRS frames: a new setting for duals of canonical extensions. Zbl 1347.06008Craig, Andrew P. K.; Gouveia, Maria J.; Haviar, Miroslav 5 2015 Kleene algebras: a case-study of clones and dualities from endomorphisms. Zbl 0980.08002Davey, B. A.; Haviar, M.; Priestley, H. A. 5 2001 Endodualisable and endoprimal finite double Stone algebras. Zbl 0977.08002Haviar, M.; Priestley, H. A. 5 1999 Finitely generated free modular ortholattices. I. Zbl 0899.06004Haviar, M.; Konôpka, P.; Priestley, H. A.; Wegener, C. B. 4 1997 Vertex labellings of simple graphs. Zbl 1326.05132Haviar, Miroslav; Ivaška, Michal 4 2015 Canonical extensions of Stone and double Stone algebras: the natural way. Zbl 1164.06317Haviar, M.; Priestley, H. A. 4 2006 When is a full duality strong? Zbl 1118.08003Davey, Brian A.; Haviar, Miroslav; Niven, Todd 4 2007 Multisorted dualisability: change of base. Zbl 1235.08004Davey, B. A.; Gouveia, M. J.; Haviar, M.; Priestley, H. A. 4 2011 Using coloured ordered sets to study finite-level full dualities. Zbl 1206.06007Davey, Brian A.; Haviar, Miroslav; Pitkethly, Jane G. 4 2010 A criterion for a finite endoprimal algebra to be endodualisable. Zbl 0978.08001Haviar, M.; Priestley, H. A. 4 1999 Applications of Priestley duality in transferring optimal dualities. Zbl 1082.08005Davey, Brian A.; Haviar, Miroslav 4 2004 Piggyback dualities revisited. Zbl 1406.08004Davey, B. A.; Haviar, M.; Priestley, H. A. 3 2016 Congruence-preserving functions on distributive lattices. Zbl 1178.06006Ploščica, Miroslav; Haviar, Miroslav 3 2008 Finitely generated free modular ortholattices. II. Zbl 0899.06005Haviar, M.; Konôpka, P.; Wegener, C. B. 3 1997 Full but not strong dualities at the finite level: extending the realm. Zbl 1120.08003Davey, Brian A.; Haviar, Miroslav; Niven, Todd; Perkal, Narwin 3 2007 Full dualisability is independent of the generating algebra. Zbl 1259.08005Davey, B. A.; Haviar, M.; Pitkethly, J. G. 3 2012 On a certain construction of MS-algebras. Zbl 0815.06011Haviar, Miroslav 3 1994 Transferring optimal dualities: Theory and practice. Zbl 1047.08006Davey, B. A.; Haviar, M. 3 2003 Induced pseudoorders. Zbl 0772.04001Chajda, Ivan; Haviar, Miroslav 2 1991 Lattices whose congruence lattice is relative Stone. Zbl 0646.06005Haviar, M.; Katriňák, T. 2 1987 Congruence pairs of principal MS-algebras and perfect extensions. Zbl 07299797Badawy, Abd El-Mohsen; Haviar, Miroslav; Ploščica, Miroslav 2 2020 Affine complete algebras abstracting Kleene and Stone algebras. Zbl 0821.06010Haviar, M. 2 1993 Affine complete Stone algebras. Zbl 0833.06013Haviar, M.; Ploščica, M. 2 1995 Finitely generated free orthomodular lattices. IV. Zbl 0965.06009Haviar, M.; Konôpka, P. 2 1999 Finitely generated free orthomodular lattices. III. Zbl 0962.06005Haviar, M.; Konôpka, P. 2 2000 Transferral of entailment in duality theory. II: Strong dualisability. Zbl 1249.08014Gouveia, M. J.; Haviar, M. 2 2011 Transferral of entailment in duality theory: dualisability. Zbl 1224.08008Gouveia, M. J.; Haviar, M. 2 2011 Affine complete algebras abstracting double Stone and Kleene algebras. Zbl 0873.06006Haviar, Miroslav 2 1996 Semi-discrete lattices with \((L_ n)\)-congruence lattices. Zbl 0758.06004Haviar, Miroslav; Katriňák, Tibor 1 1991 Lattices whose congruence lattices satisfy Lee’s identities. Zbl 0771.06003Haviar, Miroslav 1 1991 Bohr compactifications of algebras and structures. Zbl 1387.18005Davey, B. A.; Haviar, Miroslav; Priestley, H. A. 1 2017 Affine completeness of Kleene algebras. II. Zbl 0907.06010Haviar, Miroslav; Ploščica, Miroslav 1 1997 On finitely generated free orthomodular lattices. Zbl 1437.06010Haviar, Miroslav 1 2018 Expanding Belnap: dualities for a new class of default bilattices. Zbl 1484.06043Craig, Andrew P. K.; Davey, Brian A.; Haviar, Miroslav 1 2020 Congruence pairs of principal MS-algebras and perfect extensions. Zbl 07299797Badawy, Abd El-Mohsen; Haviar, Miroslav; Ploščica, Miroslav 2 2020 Expanding Belnap: dualities for a new class of default bilattices. Zbl 1484.06043Craig, Andrew P. K.; Davey, Brian A.; Haviar, Miroslav 1 2020 On finitely generated free orthomodular lattices. Zbl 1437.06010Haviar, Miroslav 1 2018 Bohr compactifications of algebras and structures. Zbl 1387.18005Davey, B. A.; Haviar, Miroslav; Priestley, H. A. 1 2017 Piggyback dualities revisited. Zbl 1406.08004Davey, B. A.; Haviar, M.; Priestley, H. A. 3 2016 TiRS graphs and TiRS frames: a new setting for duals of canonical extensions. Zbl 1347.06008Craig, Andrew P. K.; Gouveia, Maria J.; Haviar, Miroslav 5 2015 Vertex labellings of simple graphs. Zbl 1326.05132Haviar, Miroslav; Ivaška, Michal 4 2015 Reconciliation of approaches to the construction of canonical extensions of bounded lattices. Zbl 1349.06010Craig, Andrew; Haviar, Miroslav 7 2014 A fresh perspective on canonical extensions for bounded lattices. Zbl 1318.08004Craig, A. P. K.; Haviar, M.; Priestley, H. A. 8 2013 Triple constructions of decomposable MS-algebras. Zbl 1284.06024Badawy, Abd El-Mohsen; Guffová, Daniela; Haviar, Miroslav 9 2012 Natural dualities in partnership. Zbl 1284.08021Davey, Brian A.; Haviar, Miroslav; Priestley, Hilary A. 7 2012 Full dualisability is independent of the generating algebra. Zbl 1259.08005Davey, B. A.; Haviar, M.; Pitkethly, J. G. 3 2012 Natural extensions and profinite completions of algebras. Zbl 1232.08006Davey, B. A.; Gouveia, M. J.; Haviar, M.; Priestley, H. A. 9 2011 Multisorted dualisability: change of base. Zbl 1235.08004Davey, B. A.; Gouveia, M. J.; Haviar, M.; Priestley, H. A. 4 2011 Transferral of entailment in duality theory. II: Strong dualisability. Zbl 1249.08014Gouveia, M. J.; Haviar, M. 2 2011 Transferral of entailment in duality theory: dualisability. Zbl 1224.08008Gouveia, M. J.; Haviar, M. 2 2011 Using coloured ordered sets to study finite-level full dualities. Zbl 1206.06007Davey, Brian A.; Haviar, Miroslav; Pitkethly, Jane G. 4 2010 Congruence-preserving functions on distributive lattices. Zbl 1178.06006Ploščica, Miroslav; Haviar, Miroslav 3 2008 Boolean topological distributive lattices and canonical extensions. Zbl 1122.06004Davey, B. A.; Haviar, M.; Priestley, H. A. 10 2007 When is a full duality strong? Zbl 1118.08003Davey, Brian A.; Haviar, Miroslav; Niven, Todd 4 2007 Full but not strong dualities at the finite level: extending the realm. Zbl 1120.08003Davey, Brian A.; Haviar, Miroslav; Niven, Todd; Perkal, Narwin 3 2007 Canonical extensions of Stone and double Stone algebras: the natural way. Zbl 1164.06317Haviar, M.; Priestley, H. A. 4 2006 Structural entailment. Zbl 1090.08009Davey, Brian A.; Haviar, Miroslav; Willard, Ross 11 2005 Full does not imply strong, does it? Zbl 1090.08008Davey, Brian A.; Haviar, Miroslav; Willard, Ross 10 2005 Applications of Priestley duality in transferring optimal dualities. Zbl 1082.08005Davey, Brian A.; Haviar, Miroslav 4 2004 Standard topological quasi-varieties. Zbl 1141.08301Clark, D. M.; Davey, B. A.; Haviar, M.; Pitkethly, J. G.; Talukder, M. R. 10 2003 Transferring optimal dualities: Theory and practice. Zbl 1047.08006Davey, B. A.; Haviar, M. 3 2003 Kleene algebras: a case-study of clones and dualities from endomorphisms. Zbl 0980.08002Davey, B. A.; Haviar, M.; Priestley, H. A. 5 2001 A schizophrenic operation which aids the efficient transfer of strong dualities. Zbl 0978.08008Davey, B. A.; Haviar, M. 6 2000 Finitely generated free orthomodular lattices. III. Zbl 0962.06005Haviar, M.; Konôpka, P. 2 2000 Endodualisable and endoprimal finite double Stone algebras. Zbl 0977.08002Haviar, M.; Priestley, H. A. 5 1999 A criterion for a finite endoprimal algebra to be endodualisable. Zbl 0978.08001Haviar, M.; Priestley, H. A. 4 1999 Finitely generated free orthomodular lattices. IV. Zbl 0965.06009Haviar, M.; Konôpka, P. 2 1999 Finitely generated free modular ortholattices. I. Zbl 0899.06004Haviar, M.; Konôpka, P.; Priestley, H. A.; Wegener, C. B. 4 1997 Finitely generated free modular ortholattices. II. Zbl 0899.06005Haviar, M.; Konôpka, P.; Wegener, C. B. 3 1997 Affine completeness of Kleene algebras. II. Zbl 0907.06010Haviar, Miroslav; Ploščica, Miroslav 1 1997 Affine complete algebras abstracting double Stone and Kleene algebras. Zbl 0873.06006Haviar, Miroslav 2 1996 The syntax and semantics of entailment in duality theory. Zbl 0845.08006Davey, B. A.; Haviar, M.; Priestley, H. A. 18 1995 Endoprimal distributive lattices are endodualisable. Zbl 0833.06012Davey, B. A.; Haviar, M.; Priestley, H. A. 8 1995 Construction and affine completeness of principal \(p\)-algebras. Zbl 0853.06005Haviar, Miroslav 5 1995 Affine complete Stone algebras. Zbl 0833.06013Haviar, M.; Ploščica, M. 2 1995 On a certain construction of MS-algebras. Zbl 0815.06011Haviar, Miroslav 3 1994 Affine complete algebras abstracting Kleene and Stone algebras. Zbl 0821.06010Haviar, M. 2 1993 Induced pseudoorders. Zbl 0772.04001Chajda, Ivan; Haviar, Miroslav 2 1991 Semi-discrete lattices with \((L_ n)\)-congruence lattices. Zbl 0758.06004Haviar, Miroslav; Katriňák, Tibor 1 1991 Lattices whose congruence lattices satisfy Lee’s identities. Zbl 0771.06003Haviar, Miroslav 1 1991 Lattices whose congruence lattice is relative Stone. Zbl 0646.06005Haviar, M.; Katriňák, T. 2 1987 all cited Publications top 5 cited Publications all top 5 Cited by 73 Authors 27 Haviar, Miroslav 23 Davey, Brian A. 16 Priestley, Hilary A. 12 Badawy, Abd El-Mohsen 8 Pitkethly, Jane G. 7 Gouveia, Maria João 4 Craig, Andrew P. K. 3 Cabrer, Leonardo Manuel 3 Hartonas, Chrysafis 3 Jackson, Marcel G. 3 Ploščica, Miroslav 3 Trotta, Belinda 3 Willard, Ross 2 Cegielski, Patrick 2 Chajda, Ivan 2 Conradie, Willem 2 Düntsch, Ivo 2 Fang, Jie 2 Gaber, Ahmed A. 2 Goldblatt, Robert Ian 2 Grigorieff, Serge 2 Guessarian, Irène 2 Halaš, Radomír 2 Johansen, Sarah M. 2 Kurtulík, Samuel 2 Nguyen, Long T. 2 Orłowska, Ewa S. 2 Palmigiano, Alessandra 2 Saramago, M. J. 2 Stronkowski, Michał Marek 2 Wegener, Claudia B. 1 Arnold, André 1 Atallah, Mohamad 1 Berman, Joel D. 1 Bimbó, Katalin 1 Blyth, Tom S. 1 Clark, David Michael 1 Dunn, Jon Michael 1 El-Assar, Sanaa 1 El-Fawal, Ragaa 1 Gair, A. 1 Gaitán, Hernando 1 Guffová, Daniela 1 Ham, Lucy 1 Hansoul, Georges E. 1 Hussein, Salah El Din S. 1 Hyndman, Jennifer 1 Kotul’ová, Katarína 1 Kuchmei, Vladimir 1 López, Susana-Clara 1 Mendan, Stacey P. 1 Mesiar, Radko 1 Molkhasi, Ali 1 Muntaner-Batle, Francesc Antoni 1 Nganou, Jean Bernard 1 Niven, Todd 1 Nurakunov, Anvar Mukhparovich 1 Pinus, Aleksandr Georgievich 1 Pocs, Jozef 1 Prabu, Mohan 1 Radeleczki, Sándor 1 Robinson, Claudette 1 Rosenberg, Ivo G. 1 Shum, Kar-Ping 1 Silva, H. J. 1 Snow, John W. 1 Spada, Luca 1 Swirydowicz, Kazimierz 1 Talukder, Md. Rashed 1 Teheux, Bruno 1 Tzimoulis, Apostolos 1 Wang, Leibo 1 Wijnberg, Nachoem M. all top 5 Cited in 36 Serials 24 Algebra Universalis 6 Mathematica Slovaca 5 Studia Logica 5 International Journal of Algebra and Computation 5 Journal of the Egyptian Mathematical Society 4 Applied Categorical Structures 4 Acta Universitatis Matthiae Belii. Series Mathematics 2 International Journal of Theoretical Physics 2 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 2 Czechoslovak Mathematical Journal 2 Journal of Pure and Applied Algebra 2 The Journal of Symbolic Logic 2 Annals of Pure and Applied Logic 2 Journal of the Australian Mathematical Society 2 Bulletin of the Malaysian Mathematical Sciences Society. Second Series 1 Communications in Algebra 1 Beiträge zur Algebra und Geometrie 1 Advances in Mathematics 1 Demonstratio Mathematica 1 Fuzzy Sets and Systems 1 Information Sciences 1 Journal of Philosophical Logic 1 Semigroup Forum 1 Transactions of the American Mathematical Society 1 Topology and its Applications 1 Chinese Annals of Mathematics. Series B 1 Order 1 Archive for Mathematical Logic 1 Journal of Applied Non-Classical Logics 1 Filomat 1 Hacettepe Journal of Mathematics and Statistics 1 Journal of Algebra and its Applications 1 Cubo 1 Logica Universalis 1 Journal of Siberian Federal University. Mathematics & Physics 1 Categories and General Algebraic Structures with Applications all top 5 Cited in 14 Fields 62 Order, lattices, ordered algebraic structures (06-XX) 49 General algebraic systems (08-XX) 26 Mathematical logic and foundations (03-XX) 7 Combinatorics (05-XX) 5 Category theory; homological algebra (18-XX) 5 General topology (54-XX) 3 Topological groups, Lie groups (22-XX) 3 Computer science (68-XX) 3 Quantum theory (81-XX) 2 Group theory and generalizations (20-XX) 1 Associative rings and algebras (16-XX) 1 Measure and integration (28-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) Citations by Year