Note on a six-valued extension of three-valued logic
- 1 January 1993
- journal article
- research article
- Published by Taylor & Francis in Journal of Applied Non-Classical Logics
- Vol. 3 (2) , 173-187
- https://doi.org/10.1080/11663081.1993.10510806
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
This publication has 8 references indexed in Scilit:
- Kleene's Logic, GeneralizedJournal of Logic and Computation, 1991
- Bilattices and the semantics of logic programmingThe Journal of Logic Programming, 1991
- Multivalued logics: a uniform approach to reasoning in artificial intelligenceComputational Intelligence, 1988
- Theory of Logical CalculiPublished by Springer Nature ,1988
- Probabilistic logicArtificial Intelligence, 1986
- A Useful Four-Valued LogicPublished by Springer Nature ,1977
- Fuzzy logic and approximate reasoningSynthese, 1975
- Temporal LogicPublished by Springer Nature ,1971