The logic of generalized truth values and the logic of bilattices
From MaRDI portal
Publication:2350215
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
Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50) Generalizations of lattices (06B75)
Related Items
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 ⋮ 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
