Author/Authors :
Hongjun Zhou، نويسنده , , Guojun Wang، نويسنده ,
Keywords :
Nilpotent minimum logic , Maximally consistent theory , Three-valued?ukasiewicz theory , Boolean theory , R0-algebra , Finite separation property , Cantor space , Non-classical logics , Formal deductive system L?