The Logical Role of the Four-Valued Bilattice

In his well-known paper \How computer should think" ( Be77b]) 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.

• Type: Conference
• Year: 1998
• Where: LICS
• Authors: Ofer Arieli, Arnon Avron
• Keywords: Automated Reasoning, Computerized Reasoning, Ginsberg's Well-known Bilattices, LICS 1998, Well-known Paper