Title of article
Filter-based resolution principle for lattice-valued propositional logic LP(X)
Author/Authors
Xiao-Jun Ma، نويسنده , , Wenjiang Li، نويسنده , , Da Ruan، نويسنده , , Yang Xu، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
17
From page
1046
To page
1062
Keywords
Filter , Resolution principle , Lattice-valued logic , Automated reasoning , Complex generalized clause , Simple generalized clause
Journal title
Information Sciences
Serial Year
2007
Journal title
Information Sciences
Record number
177128
Link To Document