Priestley duality for bilattices

DOI10.1007/s11225-012-9376-0zbMath1258.06008MaRDI QIDQ454389

Achim Jung, Umberto Rivieccio

Publication date: 1 October 2012

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9376-0

zbMATH Keywords

bilattices with conflation; bilattices with implication; Brouwerian bilattices; Priestley duality theory

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

06D50: Lattices and duality

08C20: Natural dualities for classes of algebras

06D75: Other generalizations of distributive lattices

Related Items

Unnamed Item, Natural dualities through product representations: bilattices and beyond, A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices, Weakly idempotent lattices and bilattices, non-idempotent Plonka functions., Disentangling \textsf{FDE}-based paraconsistent modal logics, Galois connections for bilattices, Neighbourhood semantics for FDE-based modal logics, Expanding Belnap: dualities for a new class of default bilattices, Distributive bilattices from the perspective of natural duality theory., Logical Foundations of Evidential Reasoning with Contradictory Information, On Definability of Connectives and Modal Logics over FDE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Varieties of interlaced bilattices
• Priestley duality for paraconsistent Nelson's logic
• An algebraic approach to non-classical logics
• On the representation of \(\mathbf{N4}\)-lattices
• A duality theory for bilattices
• Reasoning with logical bilattices
• Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
• The logic of distributive bilattices
• Algebraizable logics
• Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
• Coproducts of De Morgan algebras
• Algebraic Semantics for Paraconsistent Nelson's Logic
• The structure of interlaced bilattices
• Representation of Distributive Lattices by means of ordered Stone Spaces