Determination of 3-Aryα-Resolution in Lattice-Valued Propositional Logic LP(X)
International Journal of Computational Intelligence Systems - United Kingdom
doi 10.1080/18756891.2013.808802
Full Text
Open PDFAbstract
Available in full text
Date
September 1, 2013
Authors
Publisher
Atlantis Press