Priestley duality for bilattices

DOI10.1007/s11225-012-9376-0zbMath1258.06008OpenAlexW1964591144MaRDI 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 conflationbilattices with implicationBrouwerian bilatticesPriestley duality theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Lattices and duality (06D50) Natural dualities for classes of algebras (08C20) Other generalizations of distributive lattices (06D75)

Related Items (11)

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

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

This page was built for publication: Priestley duality for bilattices