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

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 :

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 :