Bilattices with implications

DOI10.1007/S11225-013-9494-3MaRDI QIDQ368472zbMATH OpenOpenAlexFDO

Authors Félix Bou, Umberto Rivieccio

Publication date 23 September 2013

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-013-9494-3

zbMATH Keywords

abstract algebraic logicBrouwerian latticecategory bilatticedisjunctive latticegeneralized Boolean algebraimplicative bilatticerepresentation bilattice

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Abstract algebraic logic (03G27)

Recommendations

• The logic of distributive bilattices
• Varieties of interlaced bilattices
• scientific article; zbMATH DE number 19702
• Bilattices and hyperidentities
• scientific article; zbMATH DE number 1953895

Cites work

• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 19702 (Why is no real title available?)
• scientific article; zbMATH DE number 3614740 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• A duality theory for bilattices
• A note on the structure of 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
• Constructible falsity
• 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}\)
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Generalized Boolean algebras in lattice-ordered groups
• Implicative twist-structures
• On the representation of \(\mathbf{N4}\)-lattices
• Protoalgebraic logics
• Reasoning with logical bilattices
• Superproducts, hyperidentities, and algebraic structures of logic programming
• The logic of distributive bilattices
• The structure of interlaced bilattices
• The value of the four values
• Theory of logical calculi. Basic theory of consequence operations
• Varieties of interlaced bilattices

Cited in

(13)

• Bilattice logic properly displayed
• The logic of distributive bilattices
• scientific article; zbMATH DE number 7669409 (Why is no real title available?)
• Nelson algebras, residuated lattices and rough sets: A survey
• Regular bilattices
• Some lattice models of bilinear logic
• scientific article; zbMATH DE number 5510996 (Why is no real title available?)
• Varieties of interlaced bilattices
• scientific article; zbMATH DE number 58945 (Why is no real title available?)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Four consequence relations, three orders, two matrices, one bilattice
• Implicative twist-structures
• Bilattice logics and demi-negation

This page was built for publication: Bilattices with implications

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