Bilattices with implications

DOI10.1007/s11225-013-9494-3zbMath1291.03119OpenAlexW2117459082MaRDI QIDQ368472

Umberto Rivieccio, Félix Bou

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)

Related Items (4)

Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Implicative twist-structures ⋮ Bilattice Logics and Demi-Negation ⋮ Bilattice logic properly displayed

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Varieties of interlaced bilattices
• Theory of logical calculi. Basic theory of consequence operations
• An algebraic approach to non-classical logics
• Generalized Boolean algebras in lattice-ordered groups
• The value of the four values
• 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}\)
• Implicative twist-structures
• 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
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• The structure of interlaced bilattices
• A note on the structure of bilattices
• Constructible falsity
• Protoalgebraic logics

This page was built for publication: Bilattices with implications