Bilattices with implications

DOI10.1007/S11225-013-9494-3zbMATH Open1291.03119OpenAlexW2117459082MaRDI QIDQ368472FDOQ368472

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

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

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)

Cites Work

• Theory of logical calculi. Basic theory of consequence operations
• Title not available (Why is that?)
• Constructible falsity
• Title not available (Why is that?)
• An algebraic approach to non-classical logics
• On the representation of \(\mathbf{N4}\)-lattices
• Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
• Algebraizable logics
• Title not available (Why is that?)
• Protoalgebraic logics
• Generalized Boolean algebras in lattice-ordered groups
• The value of the four values
• A duality theory for bilattices
• Reasoning with logical bilattices
• The logic of distributive bilattices
• Belnap's Four-Valued Logic and De Morgan Lattices
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Varieties of interlaced bilattices
• Implicative twist-structures
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
• The structure of interlaced bilattices
• A note on the structure of bilattices

Cited In (10)

• Some lattice models of bilinear logic
• Title not available (Why is that?)
• Implicative twist-structures
• Bilattice Logics and Demi-Negation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bilattice logic properly displayed
• Regular bilattices
• Nelson algebras, residuated lattices and rough sets: A survey
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

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)