DocumentCode
1954964
Title
The logical role of the four-valued bilattice
Author
Arieli, Ofer ; Avron, Arnon
Author_Institution
Dept. of Comput. Sci., Tel Aviv Univ., Israel
fYear
1998
fDate
21-24 Jun 1998
Firstpage
118
Lastpage
126
Abstract
In his well-known paper “How computer should think” (1977) Belnap argues that four-valued semantics is a very suitable setting for computerized reasoning. In this paper we vindicate this thesis by showing that the logical role that the four-valued structure has among Ginsberg´s well-known bilattices is similar to the role that the two-valued algebra has among Boolean algebras
Keywords
multivalued logic; bilattices; computerized reasoning; four-valued bilattice; four-valued semantics; Application software; Artificial intelligence; Boolean algebra; Computer science; Heart; Lattices; Logic functions; Multivalued logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1998. Proceedings. Thirteenth Annual IEEE Symposium on
Conference_Location
Indianapolis, IN
ISSN
1043-6871
Print_ISBN
0-8186-8506-9
Type
conf
DOI
10.1109/LICS.1998.705648
Filename
705648
Link To Document