Note on a six-valued extension of three-valued logic

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.

[1]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[2]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[3]  Melvin Fitting,et al.  Kleene's Logic, Generalized , 1991, J. Log. Comput..

[4]  R. Wójcicki.  Theory of Logical Calculi: Basic Theory of Consequence Operations , 1988 .

[5]  Matthew L. Ginsberg,et al.  Multivalued logics: a uniform approach to reasoning in artificial intelligence , 1988, Comput. Intell..

[6]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[7]  Massoud Moussavi,et al.  A six-valued logic for representing incomplete knowledge , 1990, Proceedings of the Twentieth International Symposium on Multiple-Valued Logic.

[8]  Ryszard Wójcicki,et al.  Theory of Logical Calculi , 1988 .

[9]  Melvin Fitting,et al.  Bilattices in logic programming , 1990, Proceedings of the Twentieth International Symposium on Multiple-Valued Logic.

[10]  J.M. Font,et al.  Abstract characterization of a four-valued logic , 1988, [1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic.

[11]  Melvin Fitting,et al.  Bilattices and the Semantics of Logic Programming , 1991, J. Log. Program..

[12]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .