Varieties of interlaced bilattices

DOI10.1007/S00012-011-0151-2MaRDI QIDQ647327zbMATH OpenOpenAlexFDO

Authors Félix Bou, Ramon Jansana, Umberto Rivieccio

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) Generalizations of lattices (06B75) Abstract algebraic logic (03G27) Varieties of lattices (06B20)

Recommendations

• The structure of interlaced bilattices
• A duality theory for bilattices
• Bilattices with implications
• scientific article; zbMATH DE number 1367576
• Product representation for default bilattices: an application of natural duality theory.

Cites work

• scientific article; zbMATH DE number 19702 (Why is no real title available?)
• scientific article; zbMATH DE number 590999 (Why is no real title available?)
• A duality theory for bilattices
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Algebraizable logics
• An algebraic approach to non-classical logics
• Belnap's Four-Valued Logic and De Morgan Lattices
• Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
• Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
• On the representation of \(\mathbf{N4}\)-lattices
• Reasoning with logical bilattices
• Superproducts, hyperidentities, and algebraic structures of logic programming
• The logic of distributive bilattices
• The structure of interlaced bilattices

Cited in

(24)

• Priestley duality for bilattices
• A general framework for product representations: bilattices and beyond
• Bilattice logic properly displayed
• Hyperidentities and related concepts. II
• The product representation theorem for interlaced pre-bilattices: some historical remarks.
• Representation of interlaced trilattices
• Galois connections for bilattices
• Nelson algebras, residuated lattices and rough sets: A survey
• A duality theory for bilattices
• Distributive bilattices from the perspective of natural duality theory.
• The logic of generalized truth values and the logic of bilattices
• A duality for two-sorted lattices
• Bilattices with implications
• Weakly idempotent lattices and bilattices, non-idempotent Plonka functions.
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices
• Residuated bilattices
• Implicative twist-structures
• Filter theory of bilattices in the semantics of logic programming
• Paraconsistent modal logics
• Natural dualities through product representations: bilattices and beyond
• Hyperidentities and related concepts. I
• Bitopology and four-valued logic
• Bilattice logics and demi-negation

This page was built for publication: Varieties of interlaced bilattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q647327)