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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,464
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Fuzzy Logic and Approximate Reasoning.L. A. Zadeh - 1975 - Synthese 30 (3-4):407-428.
Temporal Logic.Nicholas Rescher - 1971 - New York: Springer Verlag.
Probabilistic Logic.Nils J. Nilsson - 1986 - Artificial Intelligence 28 (1):71-87.

Add more references

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.

Add more citations

Similar books and articles

How to Avoid Deviance (in Logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
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.

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 )

How can I increase my downloads?

Downloads

My notes