A Propositional Logic With 4 Values: True, False, Divergent and Meaningless
by
Jan A. Bergstra
,
Inge Bethke
,
Piet Rodenburg
| Citations: | 14 - 11 self |
BibTeX
@MISC{Bergstra_apropositional,
author = {Jan A. Bergstra and Inge Bethke and Piet Rodenburg},
title = {A Propositional Logic With 4 Values: True, False, Divergent and Meaningless},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper, we survey 3-valued logics and their complete axiomatizations, one of which may be new. We then propose a 4-valued, functionally complete logic that incorporates these 3-valued systems and provide notations for interesting operators and subsystems.
Citations
| 255 | A Useful Four-Valued Logic - Belnap - 1977 |
| 13 | Subdirect unions in universal algebra - Birkhoff - 1944 |
| 10 | Three-valued predicates for software specification and validation - Blikle - 1991 |
| 9 | Which data types have !-complete initial algebra specifications?, Report CS-R8958 - Bergstra, Heering - 1989 |
| 6 | Conditional assertion and restricted quantification - Belnap - 1970 |
| 3 | Ob odnom tréhzna˘cnom is˘cislénii i égo priménénii k anlizu paradocsov klassi˘céskogo ras˘sirénnogo funknional’nogo is˘cisléniá - Bochvar - 1937 |
| 1 | Some complements to articles on many-valued logics - Bochvaar, Finn - 1976 |
| 1 | The logic of significance and context. Volume One - Goddard, Routley - 1973 |
