Seguir
Prof. Miroslav Haviar
Título
Citado por
Citado por
Ano
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
431995
Standard topological quasi-varieties
DM Clark, BA Davey, M Haviar, JG Pitkethly, MR Talukder
Houston J. Math 29 (4), 859-887, 2003
352003
Endoprimal distributive lattices are endodualisable
BA Davey, M Haviar, HA Priestley
Algebra Universalis 34 (3), 444-453, 1995
351995
A fresh perspective on canonical extensions for bounded lattices
APK Craig, M Haviar, HA Priestley
Applied Categorical Structures 21 (6), 725-749, 2013
282013
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
272015
Full does not imply strong, does it?
BA Davey, M Haviar, R Willard
Algebra Universalis 54, 1-22, 2005
262005
A schizophrenic operation which aids the efficient transfer of strong dualities
BA Davey, M Haviar
Houston J. Math 26, 215-222, 2000
242000
Reconciliation of approaches to the construction of canonical extensions of bounded lattices
A Craig, M Haviar
Mathematica Slovaca 64 (6), 1335-1356, 2014
222014
Boolean topological distributive lattices and canonical extensions
BA Davey, M Haviar, HA Priestley
Applied Categorical Structures 15, 225-241, 2007
222007
Structural entailment
BA Davey, M Haviar, R Willard
Algebra Universalis 54 (4), 397-416, 2005
212005
Triple Constructions of Decomposable MS-Algebras
AEM Badawy, D Guffová, M Haviar
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium …, 2012
202012
Natural extensions and profinite completions of algebras
BA Davey, MJ Gouveia, M Haviar, HA Priestley
Algebra universalis 66 (3), 205, 2011
172011
Natural dualities in partnership
BA Davey, M Haviar, HA Priestley
Applied Categorical Structures 20, 583-602, 2012
162012
Pedagogické znalosti a profesionalita učiteľa
A Tomengová, B Kosová, V Poliach, I Pavlov, D Šukolová, P Fridrichová, ...
Banská Bystrica: Belianum, 2017
152017
When is a full duality strong?
BA Davey, M Haviar, T Niven
Houston Journal of Mathematics 33 (1), 1, 2007
142007
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
142001
Finitely generated free modular ortholattices. I
M Haviar, P Konôpka, HA Priestley, CB Wegener
International Journal of Theoretical Physics 36, 2639-2660, 1997
141997
Vertex labellings of simple graphs
M Haviar, M Ivaška
(No Title), 2015
132015
Congruence-preserving functions on distributive lattices
M Ploščica, M Haviar
Algebra universalis 59 (1), 179-196, 2008
132008
A criterion for a finite endoprimal algebra to be endodualisable
M Haviar, HA Priestley
algebra universalis 42, 183-193, 1999
131999
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20