Journal of Logic, Language and Information

, Volume 5, Issue 1, pp 25–63

Reasoning with logical bilattices

  • Ofer Arieli
  • Arnon Avron
Article

Abstract

The notion of bilattice was introduced by Ginsberg, and further examined by Fitting, as a general framework for many applications. In the present paper we develop proof systems, which correspond to bilattices in an essential way. For this goal we introduce the notion of logical bilattices. We also show how they can be used for efficient inferences from possibly inconsistent data. For this we incorporate certain ideas of Kifer and Lozinskii, which happen to suit well the context of our work. The outcome are paraconsistent logics with a lot of desirable properties.1

Footnotes
1

A preliminary version of this paper appears in Arieli and Avron (1994).

 

Key words

Substructural logics relevance logic many-valued logics hypersequents 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1996

Authors and Affiliations

  • Ofer Arieli
    • 1
  • Arnon Avron
    • 1
  1. 1.Department of Computer Science, School of Mathematical SciencesTel-Aviv UniversityRamat-AvivIsrael

Personalised recommendations