Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X)


One of key issues for α-n(t) ary resolution automated reasoning based on lattice-valued logic with truthvalue in a lattice implication algebra is to investigate the α-n(t) ary resolution of some generalized literals. In this article, the determination of α-resolution of any 3-ary generalized literals which include the implication operators not more than 2… (More)
DOI: 10.1080/18756891.2013.808802


3 Figures and Tables