Varieties of interlaced bilattices

DOI10.1007/s00012-011-0151-2zbMath1231.06009OpenAlexW2004776947MaRDI QIDQ647327

Umberto Rivieccio, Ramon Jansana, Félix Bou

Publication date: 23 November 2011

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-011-0151-2

zbMATH Keywords

subdirectly irreduciblecategory of bilatticesconflationrepresentation of bilatticesunbounded bilatticesvariety of bilattices

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Varieties of lattices (06B20) Generalizations of lattices (06B75) Abstract algebraic logic (03G27)

Related Items

Natural dualities through product representations: bilattices and beyond ⋮ A duality for two-sorted lattices ⋮ Bilattices with implications ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Residuated bilattices ⋮ Weakly idempotent lattices and bilattices, non-idempotent Plonka functions. ⋮ Priestley duality for bilattices ⋮ The product representation theorem for interlaced pre-bilattices: some historical remarks. ⋮ Representation of interlaced trilattices ⋮ Implicative twist-structures ⋮ Bilattice Logics and Demi-Negation ⋮ A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices ⋮ Bitopology and four-valued logic ⋮ Galois connections for bilattices ⋮ Paraconsistent Modal Logics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Bilattice logic properly displayed ⋮ Distributive bilattices from the perspective of natural duality theory. ⋮ The logic of generalized truth values and the logic of bilattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Belnap's Four-Valued Logic and De Morgan Lattices
• Algebraic Semantics for Paraconsistent Nelson's Logic
• The structure of interlaced bilattices