Reasoning with Logical Bilattices

  title={Reasoning with Logical Bilattices},
  author={Ofer Arieli and Arnon Avron},
  journal={Journal of Logic, Language and Information},
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 eecient 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… CONTINUE READING
Highly Influential
This paper has highly influenced 26 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 106 extracted citations


Publications referenced by this paper.
Showing 1-10 of 25 references

Logical bilattices and inconsistent data

  • O.Arieli, A.Avron
  • Proc. 9th IEEE Annual Symp. on Logic in Computer…
  • 1994
2 Excerpts

Theory of generalized annotated programming and it's applica tions

  • M.Kifer, V.S.Subrahmanian
  • Journal of Logic Programming,
  • 1992
1 Excerpt

Dunn Relevant logic and entailment

  • M. J.
  • Automatic theorem proving inparaconsistent logics…
  • 1990

Fitting . Negation as refutation

  • M.
  • Kluwer AcademicPublisher
  • 1990

Axiomatization of a partial system of threevalue calculus of propositions

  • B. Sobocinski.
  • Information Sciences Vol .
  • 1989

Similar Papers

Loading similar papers…