Logic in Computer Science (LICS 1994)

Paper: Logical bilattices and inconsistent data (at LICS 1994)

Authors: Ofer Arieli Arnon Avron

Abstract

The notion of a bilattice was first proposed by Ginsberg (1988) as a general framework for many applications. This notion was further investigated and applied for various goals by Fitting (1989, 1990, 1991, 1993). In this paper, we develop proof systems which correspond to bilattices in an essential way. We then show how to use those bilattices for efficient inferences from possibly inconsistent data. For this, we incorporate certain ideas of Kifer and Lozinskii (1992) concerning inconsistencies, which happen to well suit the framework of bilattices. The outcome is a paraconsistent logic with many desirable properties

BibTeX

  @InProceedings{ArieliAvron-Logicalbilatticesan,
    author = 	 {Ofer Arieli and Arnon Avron},
    title = 	 {Logical bilattices and inconsistent data},
    booktitle =  {Proceedings of the Ninth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1994},
    year =	 1994,
    editor =	 {Samson Abramsky},
    month =	 {July}, 
    pages =      {468--476},
    location =   {Paris, France}, 
    publisher =	 {IEEE Computer Society Press}
  }