@inproceedings{7e35b7d5d0f347ba845888a85b4dd4d3,
title = "Logical bilattices and inconsistent data",
abstract = "The notion of a bilattice was first proposed by Ginsberg as a general framework for many applications. This notion was further investigated and applied for various goals by Fitting. In the present 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 concerning inconsistencies, which happen to suit well the framework of bilattices. The outcome is a paraconsistent logic with a lot of desirable properties.",
author = "Ofer Arieli and Arnon Avron",
year = "1994",
language = "אנגלית",
isbn = "081866312X",
series = "Proceedings - Symposium on Logic in Computer Science",
publisher = "Publ by IEEE",
pages = "468--476",
booktitle = "Proceedings - Symposium on Logic in Computer Science",
note = "Proceedings of the 1994 IEEE 9th Annual Symposium on Logic in Computer Science ; Conference date: 04-07-1994 Through 07-07-1994",
}