The logic of generalized truth values and the logic of bilattices

DOI10.1007/S11225-014-9546-3zbMath1364.03036OpenAlexW2064274344MaRDI QIDQ2350215

Sergei P. Odintsov, Heinrich Wansing

Publication date: 18 June 2015

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

Full work available at URL: https://doi.org/10.1007/s11225-014-9546-3

zbMATH Keywords

bilatticesaxiomatizationgeneralized truth valuestrilatticestwist-structures

Mathematics Subject Classification ID

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

Related Items (14)

Routley star and hyperintensionality ⋮ Natural dualities through product representations: bilattices and beyond ⋮ Gentzenization of trilattice logics ⋮ Compositional meaning in logic ⋮ Four-valued paradefinite logics ⋮ Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant ⋮ Conservative translations of four-valued logics in modal logic ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ Truth, Falsehood, Information and Beyond: The American Plan Generalized ⋮ Interpolation in 16-valued trilattice logics ⋮ The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins ⋮ SEQUENT CALCULI FOR SOME TRILATTICE LOGICS ⋮ Two proofs of the algebraic completeness theorem for multilattice logic ⋮ Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Varieties of interlaced bilattices
• Truth and falsehood. An inquiry into generalized logical values
• Some useful 16-valued logics: How a computer network should think
• Constructive negations and paraconsistency
• Hyper-contradictions, generalized truth values and logics of truth and falsehood
• On axiomatizing Shramko-Wansing's logic
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• A theory of truth that prefers falsehood
• On extensions of intermediate logics by strong negation
• Fixpoint semantics for logic programming a survey
• Reasoning with logical bilattices
• Representation of interlaced trilattices
• Generalized truth values.: A reply to Dubois
• Bilattices and the semantics of logic programming
• The family of stable models
• Algebraic Semantics for Paraconsistent Nelson's Logic
• The Trilattice of Constructive Truth Values
• Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
• A Remark on the Intersection of Tow Logics

This page was built for publication: The logic of generalized truth values and the logic of bilattices