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

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 :

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 :