Bi-facial truth: a case for generalized truth values

DOI10.1007/S11225-013-9534-ZMaRDI QIDQ2016060zbMATH OpenOpenAlexFDO

Authors Dmitry V. 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)

Recommendations

• Generalized truth values.: A reply to Dubois
• From bi-facial truth to bi-facial proofs
• Truth and falsehood. An inquiry into generalized logical values
• On truth-gaps, truth-gluts, and bipolar propositions
• Bilattices and the theory of truth
• Hyper-contradictions, generalized truth values and logics of truth and falsehood
• The logic of generalized truth values and the logic of bilattices
• Truth and the liar in De Morgan-valued models
• Truth values, neither-true-nor-false, and supervaluations
• On truth-gaps, bipolar belief and the assertability of vague propositions

Cites work

• A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
• Aristotle'sPrior Analyticsand Boole'sLaws of Thought
• Harmonious many-valued propositional logics and the logic of computer networks
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 5510996 (Why is no real title available?)
• scientific article; zbMATH DE number 120342 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 3335866 (Why is no real title available?)
• Hyper-contradictions, generalized truth values and logics of truth and falsehood
• Intuitive semantics for first-degree entailments and `coupled trees'
• On axiomatizing Shramko-Wansing's logic
• On univocal connectives
• Reasoning with logical bilattices
• Some useful 16-valued logics: How a computer network should think
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• The Trilattice of Constructive Truth Values
• Truth and falsehood. An inquiry into generalized logical values

Cited in

(10)

• 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
• Correspondence analysis for logic of rational agent
• Logic of bipartite truth with uncertainty dimension
• Provability multilattice logic
• Basic Four-Valued Systems of Cyclic Negations
• Non-deterministic logic of generalized classical truth values
• Cyclic negations and four-valuedness

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2016060)