Diagrammatic duality

DOI10.1007/978-3-319-74772-9_11zbMath1459.03105OpenAlexW4243951042MaRDI QIDQ4586421

Jonathan D. H. Smith, Anna B. Romanowska

Publication date: 13 September 2018

Published in: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-74772-9_11

zbMATH Keywords

netsdualitybilatticesconstructive logicNelson algebrasquasi-groups

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Lattices and duality (06D50) General theory of categories and functors (18A99)

Related Items

Augmented quasigroups and character algebras

Cites Work

• Priestley duality for paraconsistent Nelson's logic
• Nelson algebras through Heyting ones. I
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• The red book of varieties and schemes
• An algebraic approach to non-classical logics
• A duality theory for bilattices
• Distributive bilattices from the perspective of natural duality theory.
• N-lattices and constructive logic with strong negation
• QUASIGROUP HOMOTOPIES, SEMISYMMETRIZATION, AND REVERSIBLE AUTOMATA
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Constructible falsity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item