The syntax and semantics of entailment in duality theory BA Davey, M Haviar, HA Priestley The Journal of Symbolic Logic 60 (4), 1087-1114, 1995 | 43 | 1995 |
Standard topological quasi-varieties DM Clark, BA Davey, M Haviar, JG Pitkethly, MR Talukder Houston J. Math 29 (4), 859-887, 2003 | 35 | 2003 |
Endoprimal distributive lattices are endodualisable BA Davey, M Haviar, HA Priestley Algebra Universalis 34 (3), 444-453, 1995 | 35 | 1995 |
A fresh perspective on canonical extensions for bounded lattices APK Craig, M Haviar, HA Priestley Applied Categorical Structures 21 (6), 725-749, 2013 | 28 | 2013 |
TiRS graphs and TiRS frames: a new setting for duals of canonical extensions APK Craig, MJ Gouveia, M Haviar Algebra universalis 74 (1), 123-138, 2015 | 27 | 2015 |
Full does not imply strong, does it? BA Davey, M Haviar, R Willard Algebra Universalis 54, 1-22, 2005 | 26 | 2005 |
A schizophrenic operation which aids the efficient transfer of strong dualities BA Davey, M Haviar Houston J. Math 26, 215-222, 2000 | 24 | 2000 |
Reconciliation of approaches to the construction of canonical extensions of bounded lattices A Craig, M Haviar Mathematica Slovaca 64 (6), 1335-1356, 2014 | 22 | 2014 |
Boolean topological distributive lattices and canonical extensions BA Davey, M Haviar, HA Priestley Applied Categorical Structures 15, 225-241, 2007 | 22 | 2007 |
Structural entailment BA Davey, M Haviar, R Willard Algebra Universalis 54 (4), 397-416, 2005 | 21 | 2005 |
Triple Constructions of Decomposable MS-Algebras AEM Badawy, D Guffová, M Haviar Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium …, 2012 | 20 | 2012 |
Natural extensions and profinite completions of algebras BA Davey, MJ Gouveia, M Haviar, HA Priestley Algebra universalis 66 (3), 205, 2011 | 17 | 2011 |
Natural dualities in partnership BA Davey, M Haviar, HA Priestley Applied Categorical Structures 20, 583-602, 2012 | 16 | 2012 |
Pedagogické znalosti a profesionalita učiteľa A Tomengová, B Kosová, V Poliach, I Pavlov, D Šukolová, P Fridrichová, ... Banská Bystrica: Belianum, 2017 | 15 | 2017 |
When is a full duality strong? BA Davey, M Haviar, T Niven Houston Journal of Mathematics 33 (1), 1, 2007 | 14 | 2007 |
Kleene algebras: a case-study of clones and dualities from endomorphisms BA Davey, M Haviar, HA Priestley Acta Sci. Math.(Szeged) 67, 77-103, 2001 | 14 | 2001 |
Finitely generated free modular ortholattices. I M Haviar, P Konôpka, HA Priestley, CB Wegener International Journal of Theoretical Physics 36, 2639-2660, 1997 | 14 | 1997 |
Vertex labellings of simple graphs M Haviar, M Ivaška (No Title), 2015 | 13 | 2015 |
Congruence-preserving functions on distributive lattices M Ploščica, M Haviar Algebra universalis 59 (1), 179-196, 2008 | 13 | 2008 |
A criterion for a finite endoprimal algebra to be endodualisable M Haviar, HA Priestley algebra universalis 42, 183-193, 1999 | 13 | 1999 |