Article ID Journal Published Year Pages File Type
390805 Fuzzy Sets and Systems 2008 11 Pages PDF
Abstract

This paper extends previous results obtained for binary resolution proof method over complete Boolean lattices. We shall assume that truth values form a complete residuated Stone lattice. In addition, we investigate binary resolution over residuated lattices with strict negation. The refutational soundness and completeness of the generalised resolution proof method will be proved. Finally, we discuss the boundaries of the refutational completeness over arbitrary residuated lattices.

Related Topics
Physical Sciences and Engineering Computer Science Artificial Intelligence