Hyper-contradictions, generalized truth values and logics of truth and falsehood

DOI10.1007/S10849-006-9015-0zbMath1159.03302OpenAlexW2082428652MaRDI QIDQ1006448

Yaroslav Shramko, Heinrich Wansing

Publication date: 24 March 2009

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-006-9015-0

zbMATH Keywords

first-degree entailmentgeneralized truth valuesmultilatticeBelnap-trilatticeHyper-contradictiontruth and falsity orderings

Mathematics Subject Classification ID

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

Related Items (25)

Notes on Craig interpolation for LJ with strong negation ⋮ Conservative translations of four-valued logics in modal logic ⋮ Completeness and cut-elimination theorems for trilattice logics ⋮ Jaina Logic: A Contemporary Perspective ⋮ The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) ⋮ Representation of interlaced trilattices ⋮ Suszko's thesis, inferential many-valuedness, and the notion of a logical system ⋮ Truth, Falsehood, Information and Beyond: The American Plan Generalized ⋮ A hierarchy of weak double negations ⋮ Bi-facial truth: a case for generalized truth values ⋮ Paraconsistent semantics for Pavelka style fuzzy sentential logic ⋮ Processing Information from a Set of Sources ⋮ Valuations: bi, tri, and tetra ⋮ Proof systems combining classical and paraconsistent negations ⋮ Editorial introduction. Truth values. I ⋮ On axiomatizing Shramko-Wansing's logic ⋮ SEQUENT CALCULI FOR SOME TRILATTICE LOGICS ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\) ⋮ Two Consistent Many-Valued Logics for Paraconsistent Phenomena ⋮ Eastern Proto-Logics ⋮ A note on FDE ``all the way up ⋮ A non-inferentialist, anti-realistic conception of logical truth and falsity ⋮ The logic of generalized truth values and the logic of bilattices ⋮ Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Negation in the context of gaggle theory
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Some useful 16-valued logics: How a computer network should think
• The logic of paradox
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• Jaina Logic and the Philosophical Basis of Pluralism
• The Trilattice of Constructive Truth Values

This page was built for publication: Hyper-contradictions, generalized truth values and logics of truth and falsehood