Title of article
Characterizations of maximal consistent theories in the formal deductive system (NM-logic) and Cantor space
Author/Authors
Hongjun Zhou، نويسنده , , Guojun Wang، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
14
From page
2591
To page
2604
Keywords
Formal deductive systemL? , Nilpotent minimum logic , Cantor space , Satisfiabilitytheorem , topology , Maximal consistent theory , R0-algebra , Non-classical logics , Compactness theorem
Journal title
FUZZY SETS AND SYSTEMS
Serial Year
2007
Journal title
FUZZY SETS AND SYSTEMS
Record number
164049
Link To Document