Title of article
α-Resolution principle based on lattice-valued propositional logic LP(X)
Author/Authors
Yang Xu، نويسنده , , Da Ruan، نويسنده , , Etienne E. Kerre، نويسنده , , Jun Liu، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
29
From page
195
To page
223
Keywords
Automated reasoning , multi-valued logic , Resolution principle , Latticevaluedlogic , Lattice implication algebras
Journal title
Information Sciences
Serial Year
2000
Journal title
Information Sciences
Record number
176183
Link To Document