Paper: The Logical Role of the Four-Valued Bilattice (at LICS 1998)

Authors: Ofer Arieli Arnon Avron

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

BibTeX

  @InProceedings{ArieliAvron-TheLogicalRoleofthe,
    author = 	 {Ofer Arieli and Arnon Avron},
    title = 	 {The Logical Role of the Four-Valued Bilattice},
    booktitle =  {Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science (LICS 1998)},
    year =	 {1998},
    month =	 {June}, 
    pages =      {118--126},
    location =   {Indianapolis, IN, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }