Journal of Philosophical Logic 42 (1):125-135 (2013)
|Abstract||A curious feature of Belnap’s “useful four-valued logic”, also known as first-degree entailment (FDE), is that the overdetermined value B (both true and false) is treated as a designated value. Although there are good theoretical reasons for this, it seems prima facie more plausible to have only one of the four values designated, namely T (exactly true). This paper follows this route and investigates the resulting logic, which we call Exactly True Logic.|
|Keywords||Relevant logic First degree entailment Belnap’s four-valued logic De Morgan lattices In- and overcomplete data|
|Through your library||Configure|
Similar books and articles
Yaroslav Shramko & Heinrich Wansing (2006). Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood. Journal of Logic, Language and Information 15 (4).
Fred Seymour Michael (2002). Entailment and Bivalence. Journal of Philosophical Logic 31 (4):289-300.
Josep Maria Font (1997). Belnap's Four-Valued Logic and De Morgan Lattices. Logic Journal of Igpl 5 (1):1--29.
J. Michael Dunn (2000). Partiality and its Dual. Studia Logica 66 (1):5-40.
Dmitry Zaitsev (2009). A Few More Useful 8-Valued Logics for Reasoning with Tetralattice Eight. Studia Logica 92 (2):265 - 280.
Richard Routley (1979). Alternative Semantics for Quantified First Degree Relevant Logic. Studia Logica 38 (2):211 - 231.
J. Michael Dunn (forthcoming). Contradictory Information: Too Much of a Good Thing. Journal of Philosophical Logic.
Yaroslav Shramko & Heinrich Wansing (2005). Some Useful 16-Valued Logics: How a Computer Network Should Think. Journal of Philosophical Logic 34 (2):121 - 153.
Fabrice Correia (2004). Semantics for Analytic Containment. Studia Logica 77 (1):87 - 104.
Philip Hugly & Charles Sayward (1981). Completeness Theorems for Two Propositional Logics in Which Identity Diverges From Mutual Entailment. Notre Dame Journal of Formal Logic 22 (3):269-282.
Allard Tamminga & Koji Tanaka (1999). A Natural Deduction System for First Degree Entailment. Notre Dame Journal of Formal Logic 40 (2):258-272.
Added to index2011-12-01
Total downloads17 ( #71,101 of 549,078 )
Recent downloads (6 months)1 ( #63,317 of 549,078 )
How can I increase my downloads?