A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)

DOI10.1007/s11225-009-9198-xzbMath1178.03035OpenAlexW2130779558MaRDI QIDQ1037603

Dmitry Zaitsev

Publication date: 16 November 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9198-x

zbMATH Keywords

trilatticebilatticegeneralized truth valuesDunn-Belnap logicfirst-degree entailment.Shramko-Wansing logictetralattice

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50)

Related Items (11)

Modal multilattice logic ⋮ Provability multilattice logic ⋮ Unnamed Item ⋮ Basic Four-Valued Systems of Cyclic Negations ⋮ Truth, Falsehood, Information and Beyond: The American Plan Generalized ⋮ On Vidal's trivalent explanations for defective conditional in mathematics ⋮ Bi-facial truth: a case for generalized truth values ⋮ The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins ⋮ Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi ⋮ Two proofs of the algebraic completeness theorem for multilattice logic ⋮ Modal multilattice logics with Tarski, Kuratowski, and Halmos operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some useful 16-valued logics: How a computer network should think
• Hyper-contradictions, generalized truth values and logics of truth and falsehood
• Bilattices and the theory of truth
• Intuitive semantics for first-degree entailments and `coupled trees'
• Reasoning with logical bilattices
• Bilattices and the semantics of logic programming
• The Trilattice of Constructive Truth Values
• The structure of interlaced bilattices

This page was built for publication: A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)