The syntax and semantics of entailment in duality theory
From MaRDI portal
Publication:4876312
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
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