Bi-facial truth: a case for generalized truth values

DOI10.1007/s11225-013-9534-zzbMath1329.03030OpenAlexW2038676425MaRDI QIDQ2016060

Dmitry Zaitsev, Yaroslav Shramko

Publication date: 19 June 2014

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

Full work available at URL: https://doi.org/10.1007/s11225-013-9534-z

zbMATH Keywords

generalized truth valuessemi-Boolean complementationsemi-classical negationsuper-classical logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50)

Related Items (7)

Correspondence analysis and automated proof-searching for first degree entailment ⋮ Compositional meaning in logic ⋮ Provability multilattice logic ⋮ Unnamed Item ⋮ Basic Four-Valued Systems of Cyclic Negations ⋮ Truth, Falsehood, Information and Beyond: The American Plan Generalized ⋮ From bi-facial truth to bi-facial proofs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Truth and falsehood. An inquiry into generalized logical values
• Some useful 16-valued logics: How a computer network should think
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• Hyper-contradictions, generalized truth values and logics of truth and falsehood
• On axiomatizing Shramko-Wansing's logic
• A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Reasoning with logical bilattices
• On univocal connectives
• Aristotle'sPrior Analyticsand Boole'sLaws of Thought
• The Trilattice of Constructive Truth Values

This page was built for publication: Bi-facial truth: a case for generalized truth values