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

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

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item