مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

L-valued propositional logic Lvpl

Author/Authors :

Xu Yang، نويسنده , , Qin Keyun، نويسنده , , Liu Jun، نويسنده , , Song Zhenming، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1999

Pages :

From page :

205

To page :

235

Keywords :

L-valued propositional logic , Soundness , Completeness , Satisfiability , Consistence , Deduction theorem , Compactness

Journal title :

Information Sciences

Serial Year :

1999

Journal title :

Information Sciences

Record number :

175938

Link To Document :