Title of article
α-Resolution principle based on first-order lattice-valued logic LF(X)
Author/Authors
Yang Xu، نويسنده , , Da Ruan، نويسنده , , Etienne E. Kerre، نويسنده , , Jun Liu، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
19
From page
221
To page
239
Keywords
Automated reasoning , Lattice-valued logic , Lattice implication algebras , Resolution principle , Many-valued logic
Journal title
Information Sciences
Serial Year
2001
Journal title
Information Sciences
Record number
176201
Link To Document