TY - GEN
T1 - The logical role of the four-valued bilattice
AU - Arieli, Ofer
AU - Avron, Arnon
N1 - Publisher Copyright:
© 1998 IEEE.
PY - 1998
Y1 - 1998
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=77952369403&partnerID=8YFLogxK
U2 - 10.1109/LICS.1998.705648
DO - 10.1109/LICS.1998.705648
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:77952369403
T3 - Proceedings - Symposium on Logic in Computer Science
SP - 118
EP - 126
BT - Proceedings - 13th Annual IEEE Symposium on Logic in Computer Science, LICS 1998
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 13th Annual IEEE Symposium on Logic in Computer Science, LICS 1998
Y2 - 21 June 1998 through 24 June 1998
ER -