The syntax and semantics of entailment in duality theory

DOI10.2307/2275875zbMath0845.08006MaRDI QIDQ4876312

Brian A. Davey, Hilary A. Priestley, Miroslav Haviar

Publication date: 11 September 1996

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275875

zbMATH Keywords

natural duality; clone; entailment problem of duality theory; test algebra theorem

Mathematics Subject Classification ID

18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)

03C99: Model theory

08B99: Varieties

Related Items

Transferring Optimal Dualities: Theory and Practice, Optimal natural dualities: the role of endomorphisms, Optimal natural dualities. II: General theory, DUALITY OF NORMALLY PRESENTED VARIETIES, OPTIMAL NATURAL DUALITIES: THE STRUCTURE OF FAILSETS, On selected developments in the theory of natural dualities, Naturally dualizable algebras omitting types 1 and 5 have a cube term, Using coloured ordered sets to study finite-level full dualities, Natural extensions and profinite completions of algebras, Finitely generated free modular ortholattices. I, Finitely generated free modular ortholattices. II, An algebra that is dualizable but not fully dualizable, Applications of Priestley duality in transferring optimal dualities, Endoprimal distributive lattices are endodualisable, Expanding Belnap: dualities for a new class of default bilattices, THE LATTICE OF ALTER EGOS, Transferral of entailment in duality theory: Dualisability, Transferral of entailment in duality theory II: Strong dualisability

Cites Work

• Semi-categorial algebras. II
• Optimal natural dualities. II: General theory
• Algebras Whose Congruence Lattices are Distributive.
• Unnamed Item