Reasoning with logical bilattices
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
A preliminary version of this paper appears in Arieli and Avron (1994).
Key wordsSubstructural logics relevance logic many-valued logics hypersequents
Unable to display preview. Download preview PDF.