The syntax and semantics of entailment in duality theory

DOI10.2307/2275875zbMath0845.08006OpenAlexW1974885023MaRDI 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 dualitycloneentailment problem of duality theorytest algebra theorem

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Model theory (03C99) Varieties (08B99)

Related Items (18)

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

This page was built for publication: The syntax and semantics of entailment in duality theory