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 lattices.2014-08-21Paper
https://portal.mardi4nfdi.de/entity/Q51662262014-06-25Paper
A fresh perspective on canonical extensions for bounded lattices.2014-01-30Paper
Triple constructions of decomposable MS-algebras2013-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
A schizophrenic operation which aids the efficient transfer of strong dualities2002-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
https://portal.mardi4nfdi.de/entity/Q40130511992-09-27Paper
LATTICES WHOSE CONGRUENCE LATTICES SATISFY LEE'S IDENTITIES1992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q39791001992-06-26Paper
https://portal.mardi4nfdi.de/entity/Q37896181987-01-01Paper

Research outcomes over time

This page was built for person: Miroslav Haviar