Priestley duality for bilattices
From MaRDI portal
Publication:454389
DOI10.1007/s11225-012-9376-0zbMath1258.06008MaRDI QIDQ454389
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
bilattices with conflation; bilattices with implication; Brouwerian bilattices; Priestley duality theory
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
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item