Bi-facial truth: a case for generalized truth values

DOI10.1007/s11225-013-9534-zzbMath1329.03030MaRDI 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 values; semi-Boolean complementation; semi-classical negation; super-classical logic

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

03B42: Logics of knowledge and belief (including belief change)

03B50: Many-valued logic

Related Items

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

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