Expanding Belnap 2: the dual category in depth
From MaRDI portal
Publication:5053418
DOI10.52547/cgasa.2022.102443OpenAlexW3111887029MaRDI QIDQ5053418
Brian A. Davey, Miroslav Haviar, Andrew P. K. Craig
Publication date: 6 December 2022
Published in: Categories and General Algebraic Structures with Applications (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2012.08010
Priestley dualitynatural dualitybilatticepiggyback dualitydefault bilatticemulti-sorted natural duality
Lattices and duality (06D50) Other algebras related to logic (03G25) Natural dualities for classes of algebras (08C20)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Piggyback dualities revisited
- Coproducts of distributive lattice-based algebras.
- Ordering default theories and nonmonotonic logic programs
- A logic for default reasoning
- Functor category dualities for varieties of Heyting algebras
- Expanding Belnap: dualities for a new class of default bilattices
- Piggyback-Dualitäten
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Representation of Distributive Lattices by means of ordered Stone Spaces
This page was built for publication: Expanding Belnap 2: the dual category in depth