مرکز منطقه ای اطلاع رساني علوم و فناوري - The extensions of the formal system and their completeness

Title of article :

The extensions of the formal system and their completeness

Author/Authors :

Daowu Pei، نويسنده , , Guojun Wang، نويسنده ,

Issue Information :

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

Pages :

From page :

155

To page :

166

Keywords :

Many-valued logic , Fuzzy logic , extension , Completeness , Propositional calculus system

Journal title :

Information Sciences

Serial Year :

2003

Journal title :

Information Sciences

Record number :

176494

Link To Document :