Miroslav Haviar

From MaRDI portal
Person:494627

Available identifiers

zbMath Open haviar.miroslavMaRDI QIDQ494627

List of research outcomes

PublicationDate of PublicationType
Factor principal congruences and Boolean products in filtral varieties2024-03-12Paper
Dual digraphs of finite meet-distributive and modular lattices2023-09-25Paper
Dual digraphs of finite semidistributive lattices2022-12-23Paper
Expanding Belnap 2: the dual category in depth2022-12-06Paper
https://portal.mardi4nfdi.de/entity/Q50384532022-09-30Paper
Canonical extensions of lattices are more than perfect2022-03-31Paper
Perfect extensions of de Morgan algebras2021-10-28Paper
https://portal.mardi4nfdi.de/entity/Q50110912021-08-26Paper
https://portal.mardi4nfdi.de/entity/Q51475502021-01-27Paper
Congruence pairs of principal MS-algebras and perfect extensions2021-01-21Paper
On selected developments in the theory of natural dualities2020-10-22Paper
Expanding Belnap: dualities for a new class of default bilattices2020-09-22Paper
Canonical extensions of lattices are more than perfect2020-01-13Paper
Perfect extensions of de Morgan algebras2019-12-30Paper
https://portal.mardi4nfdi.de/entity/Q52435192019-11-18Paper
Bohr compactifications of algebras and structures2017-08-10Paper
Piggyback dualities revisited2016-10-26Paper
TiRS graphs and TiRS frames: a new setting for duals of canonical extensions2015-09-01Paper
https://portal.mardi4nfdi.de/entity/Q52625312015-07-16Paper
Reconciliation of approaches to the construction of canonical extensions of bounded lattices2015-05-26Paper
Weak subgroupoid lattices2014-08-21Paper
https://portal.mardi4nfdi.de/entity/Q51662262014-06-25Paper
A fresh perspective on canonical extensions for bounded lattices.2014-01-30Paper
https://portal.mardi4nfdi.de/entity/Q28470842013-09-04Paper
Natural dualities in partnership2013-01-02Paper
Full dualisability is independent of the generating algebra2012-05-16Paper
Transferral of entailment in duality theory II: Strong dualisability2012-03-01Paper
Multisorted dualisability: change of base2011-12-14Paper
Natural extensions and profinite completions of algebras2011-12-13Paper
Transferral of entailment in duality theory: Dualisability2011-06-29Paper
https://portal.mardi4nfdi.de/entity/Q29985992011-05-18Paper
https://portal.mardi4nfdi.de/entity/Q30766412011-02-23Paper
Using coloured ordered sets to study finite-level full dualities2011-01-07Paper
https://portal.mardi4nfdi.de/entity/Q35745032010-07-09Paper
https://portal.mardi4nfdi.de/entity/Q35745052010-07-09Paper
Congruence-preserving functions on distributive lattices2009-01-29Paper
Endodualisable and endoprimal finite double Stone algebras2008-04-15Paper
Boolean topological distributive lattices and canonical extensions2007-08-27Paper
https://portal.mardi4nfdi.de/entity/Q52977202007-07-12Paper
Full but not strong dualities at the finite level: extending the realm2007-02-26Paper
https://portal.mardi4nfdi.de/entity/Q54723262006-06-09Paper
Structural entailment2006-03-21Paper
Full does not imply strong, does it?2006-01-06Paper
Applications of Priestley duality in transferring optimal dualities2005-04-07Paper
Transferring Optimal Dualities: Theory and Practice2004-05-18Paper
https://portal.mardi4nfdi.de/entity/Q27254772002-01-22Paper
Endodualisable and endoprimal finite double Stone algebras2001-12-17Paper
A criterion for a finite endoprimal algebra to be endodualisable2001-12-16Paper
https://portal.mardi4nfdi.de/entity/Q27549122001-11-05Paper
On order-polynomial completeness of lattices2000-02-27Paper
https://portal.mardi4nfdi.de/entity/Q43912791999-03-02Paper
Affine completeness of Kleene algebras1998-11-23Paper
https://portal.mardi4nfdi.de/entity/Q43912831998-10-19Paper
https://portal.mardi4nfdi.de/entity/Q43487971997-10-29Paper
https://portal.mardi4nfdi.de/entity/Q48962861997-03-19Paper
https://portal.mardi4nfdi.de/entity/Q48869621996-12-16Paper
The syntax and semantics of entailment in duality theory1996-09-11Paper
Endoprimal distributive lattices are endodualisable1996-03-17Paper
Affine complete Stone algebras1996-03-17Paper
https://portal.mardi4nfdi.de/entity/Q48384571995-07-12Paper
https://portal.mardi4nfdi.de/entity/Q43261771995-03-19Paper
https://portal.mardi4nfdi.de/entity/Q43061771994-10-13Paper
On affine completeness of distributive p-algebras1992-12-16Paper
LATTICES WHOSE CONGRUENCE LATTICES SATISFY LEE'S IDENTITIES1992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q40130511992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q39791001992-06-26Paper
https://portal.mardi4nfdi.de/entity/Q37896181987-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Miroslav Haviar