DMCA
Kleene’s three-valued logics and their children (1994)
by
Melvin Fitting
| Venue: | Fundamenta Informaticae |
| Citations: | 42 - 4 self |
BibTeX
@ARTICLE{Fitting94kleene’sthree-valued,
author = {Melvin Fitting},
title = {Kleene’s three-valued logics and their children},
journal = {Fundamenta Informaticae},
year = {1994},
volume = {20},
pages = {113--131}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Kleene’s strong three-valued logic extends naturally to a four-valued logic proposed by Belnap. We introduce a guard connective into Belnap’s logic and consider a few of its properties. Then we show that by using it four-valued analogs of Kleene’s weak three-valued logic, and the asymmetric logic of Lisp are also available. We propose an extension of these ideas to the family of distributive bilattices. Finally we show that for bilinear bilattices the extensions do not produce any new equivalences. 1
