×
Compute Distance To:
Author ID: haviar.miroslav Recent zbMATH articles by "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

Publications by Year

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.08006
Davey, B. A.; Haviar, M.; Priestley, H. A.
18
1995
Structural entailment. Zbl 1090.08009
Davey, Brian A.; Haviar, Miroslav; Willard, Ross
11
2005
Standard topological quasi-varieties. Zbl 1141.08301
Clark, D. M.; Davey, B. A.; Haviar, M.; Pitkethly, J. G.; Talukder, M. R.
10
2003
Boolean topological distributive lattices and canonical extensions. Zbl 1122.06004
Davey, B. A.; Haviar, M.; Priestley, H. A.
10
2007
Full does not imply strong, does it? Zbl 1090.08008
Davey, Brian A.; Haviar, Miroslav; Willard, Ross
10
2005
Triple constructions of decomposable MS-algebras. Zbl 1284.06024
Badawy, Abd El-Mohsen; Guffová, Daniela; Haviar, Miroslav
9
2012
Natural extensions and profinite completions of algebras. Zbl 1232.08006
Davey, B. A.; Gouveia, M. J.; Haviar, M.; Priestley, H. A.
9
2011
A fresh perspective on canonical extensions for bounded lattices. Zbl 1318.08004
Craig, A. P. K.; Haviar, M.; Priestley, H. A.
8
2013
Endoprimal distributive lattices are endodualisable. Zbl 0833.06012
Davey, B. A.; Haviar, M.; Priestley, H. A.
8
1995
Reconciliation of approaches to the construction of canonical extensions of bounded lattices. Zbl 1349.06010
Craig, Andrew; Haviar, Miroslav
7
2014
Natural dualities in partnership. Zbl 1284.08021
Davey, Brian A.; Haviar, Miroslav; Priestley, Hilary A.
7
2012
A schizophrenic operation which aids the efficient transfer of strong dualities. Zbl 0978.08008
Davey, B. A.; Haviar, M.
6
2000
Construction and affine completeness of principal \(p\)-algebras. Zbl 0853.06005
Haviar, Miroslav
5
1995
TiRS graphs and TiRS frames: a new setting for duals of canonical extensions. Zbl 1347.06008
Craig, Andrew P. K.; Gouveia, Maria J.; Haviar, Miroslav
5
2015
Kleene algebras: a case-study of clones and dualities from endomorphisms. Zbl 0980.08002
Davey, B. A.; Haviar, M.; Priestley, H. A.
5
2001
Endodualisable and endoprimal finite double Stone algebras. Zbl 0977.08002
Haviar, M.; Priestley, H. A.
5
1999
Finitely generated free modular ortholattices. I. Zbl 0899.06004
Haviar, M.; Konôpka, P.; Priestley, H. A.; Wegener, C. B.
4
1997
Vertex labellings of simple graphs. Zbl 1326.05132
Haviar, Miroslav; Ivaška, Michal
4
2015
Canonical extensions of Stone and double Stone algebras: the natural way. Zbl 1164.06317
Haviar, M.; Priestley, H. A.
4
2006
When is a full duality strong? Zbl 1118.08003
Davey, Brian A.; Haviar, Miroslav; Niven, Todd
4
2007
Multisorted dualisability: change of base. Zbl 1235.08004
Davey, B. A.; Gouveia, M. J.; Haviar, M.; Priestley, H. A.
4
2011
Using coloured ordered sets to study finite-level full dualities. Zbl 1206.06007
Davey, Brian A.; Haviar, Miroslav; Pitkethly, Jane G.
4
2010
A criterion for a finite endoprimal algebra to be endodualisable. Zbl 0978.08001
Haviar, M.; Priestley, H. A.
4
1999
Applications of Priestley duality in transferring optimal dualities. Zbl 1082.08005
Davey, Brian A.; Haviar, Miroslav
4
2004
Piggyback dualities revisited. Zbl 1406.08004
Davey, B. A.; Haviar, M.; Priestley, H. A.
3
2016
Congruence-preserving functions on distributive lattices. Zbl 1178.06006
Ploščica, Miroslav; Haviar, Miroslav
3
2008
Finitely generated free modular ortholattices. II. Zbl 0899.06005
Haviar, M.; Konôpka, P.; Wegener, C. B.
3
1997
Full but not strong dualities at the finite level: extending the realm. Zbl 1120.08003
Davey, Brian A.; Haviar, Miroslav; Niven, Todd; Perkal, Narwin
3
2007
Full dualisability is independent of the generating algebra. Zbl 1259.08005
Davey, B. A.; Haviar, M.; Pitkethly, J. G.
3
2012
On a certain construction of MS-algebras. Zbl 0815.06011
Haviar, Miroslav
3
1994
Transferring optimal dualities: Theory and practice. Zbl 1047.08006
Davey, B. A.; Haviar, M.
3
2003
Induced pseudoorders. Zbl 0772.04001
Chajda, Ivan; Haviar, Miroslav
2
1991
Lattices whose congruence lattice is relative Stone. Zbl 0646.06005
Haviar, M.; Katriňák, T.
2
1987
Congruence pairs of principal MS-algebras and perfect extensions. Zbl 07299797
Badawy, Abd El-Mohsen; Haviar, Miroslav; Ploščica, Miroslav
2
2020
Affine complete algebras abstracting Kleene and Stone algebras. Zbl 0821.06010
Haviar, M.
2
1993
Affine complete Stone algebras. Zbl 0833.06013
Haviar, M.; Ploščica, M.
2
1995
Finitely generated free orthomodular lattices. IV. Zbl 0965.06009
Haviar, M.; Konôpka, P.
2
1999
Finitely generated free orthomodular lattices. III. Zbl 0962.06005
Haviar, M.; Konôpka, P.
2
2000
Transferral of entailment in duality theory. II: Strong dualisability. Zbl 1249.08014
Gouveia, M. J.; Haviar, M.
2
2011
Transferral of entailment in duality theory: dualisability. Zbl 1224.08008
Gouveia, M. J.; Haviar, M.
2
2011
Affine complete algebras abstracting double Stone and Kleene algebras. Zbl 0873.06006
Haviar, Miroslav
2
1996
Semi-discrete lattices with \((L_ n)\)-congruence lattices. Zbl 0758.06004
Haviar, Miroslav; Katriňák, Tibor
1
1991
Lattices whose congruence lattices satisfy Lee’s identities. Zbl 0771.06003
Haviar, Miroslav
1
1991
Bohr compactifications of algebras and structures. Zbl 1387.18005
Davey, B. A.; Haviar, Miroslav; Priestley, H. A.
1
2017
Affine completeness of Kleene algebras. II. Zbl 0907.06010
Haviar, Miroslav; Ploščica, Miroslav
1
1997
On finitely generated free orthomodular lattices. Zbl 1437.06010
Haviar, Miroslav
1
2018
Expanding Belnap: dualities for a new class of default bilattices. Zbl 1484.06043
Craig, Andrew P. K.; Davey, Brian A.; Haviar, Miroslav
1
2020
Congruence pairs of principal MS-algebras and perfect extensions. Zbl 07299797
Badawy, Abd El-Mohsen; Haviar, Miroslav; Ploščica, Miroslav
2
2020
Expanding Belnap: dualities for a new class of default bilattices. Zbl 1484.06043
Craig, Andrew P. K.; Davey, Brian A.; Haviar, Miroslav
1
2020
On finitely generated free orthomodular lattices. Zbl 1437.06010
Haviar, Miroslav
1
2018
Bohr compactifications of algebras and structures. Zbl 1387.18005
Davey, B. A.; Haviar, Miroslav; Priestley, H. A.
1
2017
Piggyback dualities revisited. Zbl 1406.08004
Davey, B. A.; Haviar, M.; Priestley, H. A.
3
2016
TiRS graphs and TiRS frames: a new setting for duals of canonical extensions. Zbl 1347.06008
Craig, Andrew P. K.; Gouveia, Maria J.; Haviar, Miroslav
5
2015
Vertex labellings of simple graphs. Zbl 1326.05132
Haviar, Miroslav; Ivaška, Michal
4
2015
Reconciliation of approaches to the construction of canonical extensions of bounded lattices. Zbl 1349.06010
Craig, Andrew; Haviar, Miroslav
7
2014
A fresh perspective on canonical extensions for bounded lattices. Zbl 1318.08004
Craig, A. P. K.; Haviar, M.; Priestley, H. A.
8
2013
Triple constructions of decomposable MS-algebras. Zbl 1284.06024
Badawy, Abd El-Mohsen; Guffová, Daniela; Haviar, Miroslav
9
2012
Natural dualities in partnership. Zbl 1284.08021
Davey, Brian A.; Haviar, Miroslav; Priestley, Hilary A.
7
2012
Full dualisability is independent of the generating algebra. Zbl 1259.08005
Davey, B. A.; Haviar, M.; Pitkethly, J. G.
3
2012
Natural extensions and profinite completions of algebras. Zbl 1232.08006
Davey, B. A.; Gouveia, M. J.; Haviar, M.; Priestley, H. A.
9
2011
Multisorted dualisability: change of base. Zbl 1235.08004
Davey, B. A.; Gouveia, M. J.; Haviar, M.; Priestley, H. A.
4
2011
Transferral of entailment in duality theory. II: Strong dualisability. Zbl 1249.08014
Gouveia, M. J.; Haviar, M.
2
2011
Transferral of entailment in duality theory: dualisability. Zbl 1224.08008
Gouveia, M. J.; Haviar, M.
2
2011
Using coloured ordered sets to study finite-level full dualities. Zbl 1206.06007
Davey, Brian A.; Haviar, Miroslav; Pitkethly, Jane G.
4
2010
Congruence-preserving functions on distributive lattices. Zbl 1178.06006
Ploščica, Miroslav; Haviar, Miroslav
3
2008
Boolean topological distributive lattices and canonical extensions. Zbl 1122.06004
Davey, B. A.; Haviar, M.; Priestley, H. A.
10
2007
When is a full duality strong? Zbl 1118.08003
Davey, Brian A.; Haviar, Miroslav; Niven, Todd
4
2007
Full but not strong dualities at the finite level: extending the realm. Zbl 1120.08003
Davey, Brian A.; Haviar, Miroslav; Niven, Todd; Perkal, Narwin
3
2007
Canonical extensions of Stone and double Stone algebras: the natural way. Zbl 1164.06317
Haviar, M.; Priestley, H. A.
4
2006
Structural entailment. Zbl 1090.08009
Davey, Brian A.; Haviar, Miroslav; Willard, Ross
11
2005
Full does not imply strong, does it? Zbl 1090.08008
Davey, Brian A.; Haviar, Miroslav; Willard, Ross
10
2005
Applications of Priestley duality in transferring optimal dualities. Zbl 1082.08005
Davey, Brian A.; Haviar, Miroslav
4
2004
Standard topological quasi-varieties. Zbl 1141.08301
Clark, D. M.; Davey, B. A.; Haviar, M.; Pitkethly, J. G.; Talukder, M. R.
10
2003
Transferring optimal dualities: Theory and practice. Zbl 1047.08006
Davey, B. A.; Haviar, M.
3
2003
Kleene algebras: a case-study of clones and dualities from endomorphisms. Zbl 0980.08002
Davey, B. A.; Haviar, M.; Priestley, H. A.
5
2001
A schizophrenic operation which aids the efficient transfer of strong dualities. Zbl 0978.08008
Davey, B. A.; Haviar, M.
6
2000
Finitely generated free orthomodular lattices. III. Zbl 0962.06005
Haviar, M.; Konôpka, P.
2
2000
Endodualisable and endoprimal finite double Stone algebras. Zbl 0977.08002
Haviar, M.; Priestley, H. A.
5
1999
A criterion for a finite endoprimal algebra to be endodualisable. Zbl 0978.08001
Haviar, M.; Priestley, H. A.
4
1999
Finitely generated free orthomodular lattices. IV. Zbl 0965.06009
Haviar, M.; Konôpka, P.
2
1999
Finitely generated free modular ortholattices. I. Zbl 0899.06004
Haviar, M.; Konôpka, P.; Priestley, H. A.; Wegener, C. B.
4
1997
Finitely generated free modular ortholattices. II. Zbl 0899.06005
Haviar, M.; Konôpka, P.; Wegener, C. B.
3
1997
Affine completeness of Kleene algebras. II. Zbl 0907.06010
Haviar, Miroslav; Ploščica, Miroslav
1
1997
Affine complete algebras abstracting double Stone and Kleene algebras. Zbl 0873.06006
Haviar, Miroslav
2
1996
The syntax and semantics of entailment in duality theory. Zbl 0845.08006
Davey, B. A.; Haviar, M.; Priestley, H. A.
18
1995
Endoprimal distributive lattices are endodualisable. Zbl 0833.06012
Davey, B. A.; Haviar, M.; Priestley, H. A.
8
1995
Construction and affine completeness of principal \(p\)-algebras. Zbl 0853.06005
Haviar, Miroslav
5
1995
Affine complete Stone algebras. Zbl 0833.06013
Haviar, M.; Ploščica, M.
2
1995
On a certain construction of MS-algebras. Zbl 0815.06011
Haviar, Miroslav
3
1994
Affine complete algebras abstracting Kleene and Stone algebras. Zbl 0821.06010
Haviar, M.
2
1993
Induced pseudoorders. Zbl 0772.04001
Chajda, Ivan; Haviar, Miroslav
2
1991
Semi-discrete lattices with \((L_ n)\)-congruence lattices. Zbl 0758.06004
Haviar, Miroslav; Katriňák, Tibor
1
1991
Lattices whose congruence lattices satisfy Lee’s identities. Zbl 0771.06003
Haviar, Miroslav
1
1991
Lattices whose congruence lattice is relative Stone. Zbl 0646.06005
Haviar, M.; Katriňák, T.
2
1987
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.

Citations by Year