Journal of Applied Non-Classical Logics 3 (2):173-187 (1993)
| Abstract |
ABSTRACT In this paper we introduce a set of six logical values, arising in the application of three-valued logics to time intervals, find its algebraic structure, and use it to define a six-valued logic. We then prove, by using algebraic properties of the class of De Morgan algebras, that this semantically defined logic can be axiomatized as Belnap's ?useful? four-valued logic. Other directions of research suggested by the construction of this set of six logical values are described
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1080/11663081.1993.10510806 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Citations of this work BETA
Knowledge, Uncertainty and Ignorance in Logic: Bilattices and Beyond.George Gargov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):195-283.
Characterizing Belnap's Logic Via De Morgan's Laws.Alexej P. Pynko - 1995 - Mathematical Logic Quarterly 41 (4):442-454.
Removing the Oddity in First Degree Entailment.Andreas Kapsner - 2019 - Thought: A Journal of Philosophy 8 (4):240-249.
Similar books and articles
Dual Equivalent Two-Valued Under-Determined and Over-Determined Interpretations for Łukasiewicz's 3-Valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
How to Avoid Deviance (in Logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
An Abstract Algebraic Logic Approach to Tetravalent Modal Logics.Josep Maria Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.
On Łukasiewicz's Four-Valued Modal Logic.Josep Maria Font & Petr Hájek - 2002 - Studia Logica 70 (2):157-182.
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics.Georges Hansoul & Bruno Teheux - 2013 - Studia Logica 101 (3):505-545.
Three-Valued Logics in Modal Logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Finiteness in Infinite-Valued Łukasiewicz Logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Extensions of Hałkowska–Zajac's Three-Valued Paraconsistent Logic.Alexej P. Pynko - 2002 - Archive for Mathematical Logic 41 (3):299-307.
Algorithmic Logic. Multiple-Valued Extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
Truth and the Liar in De Morgan-Valued Models.Hannes Leitgeb - 1999 - Notre Dame Journal of Formal Logic 40 (4):496-514.
Extending Montague's System: A Three Valued Intensional Logic.E. H. Alves & J. A. D. Guerzoni - 1990 - Studia Logica 49 (1):127 - 132.
A Logical and Algebraic Treatment of Conditional Probability.Tommaso Flaminio & Franco Montagna - 2005 - Archive for Mathematical Logic 44 (2):245-262.
Analytics
Added to PP index
2013-12-01
Total views
20 ( #560,772 of 2,520,778 )
Recent downloads (6 months)
1 ( #405,623 of 2,520,778 )
2013-12-01
Total views
20 ( #560,772 of 2,520,778 )
Recent downloads (6 months)
1 ( #405,623 of 2,520,778 )
How can I increase my downloads?
Downloads
