tlooto
Sign up
Computer SciencePhilosophyMathematics

Reasoning with logical bilattices

O. Arieli, A. Avron

1996.3.1JOURNAL OF LOGIC LANGUAGE AND INFORMATION

DOI: 10.1007/bf00215626

tlooto Summary

This paper develops proof systems, which correspond to bilattice in an essential way, and introduces the notion of logical bilattices, which can be used for efficient inferences from possibly inconsistent data.

Abstract

Abstract is not available.

Citation format

ARIELI, O.; AVRON, A. Reasoning with logical bilattices. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 1996, 5: 25–63.