مرکز منطقه ای اطلاع رساني علوم و فناوري - Filter-based resolution principle for lattice-valued propositional logic LP(X)

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 :

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 :