The logical role of the four-valued bilattice

Ofer Arieli, Arnon Avron

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationProceedings - 13th Annual IEEE Symposium on Logic in Computer Science, LICS 1998
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages118-126
Number of pages9
ISBN (Electronic)0818685069
DOIs
StatePublished - 1998
Event13th Annual IEEE Symposium on Logic in Computer Science, LICS 1998 - Indianapolis, United States
Duration: 21 Jun 199824 Jun 1998

Publication series

NameProceedings - Symposium on Logic in Computer Science
Volume1998-June
ISSN (Print)1043-6871

Conference

Conference13th Annual IEEE Symposium on Logic in Computer Science, LICS 1998
Country/TerritoryUnited States
CityIndianapolis
Period21/06/9824/06/98

Fingerprint

Dive into the research topics of 'The logical role of the four-valued bilattice'. Together they form a unique fingerprint.

Cite this