مرکز منطقه ای اطلاع رساني علوم و فناوري - Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems

Title of article :

Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems

Author/Authors :

Hongjun Zhou، نويسنده , , Guojun Wang، نويسنده ,

Issue Information :

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

Pages :

From page :

2058

To page :

2073

Keywords :

Theory , Deduction theorem , Completeness theorem , Divergence degree , Satisfiability degree , Consistency degree , Degree of entailment

Journal title :

FUZZY SETS AND SYSTEMS

Serial Year :

2006

Journal title :

FUZZY SETS AND SYSTEMS

Record number :

163780

Link To Document :