The syntax and semantics of entailment in duality theory
From MaRDI portal
Publication:4876312
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
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
This page was built for publication: The syntax and semantics of entailment in duality theory
