Consistency of Finite Theory in Three Types of Many-Valued Propositional Logic Systems.

Li-Feng Li Consistency of Finite Theory in Three Types of Many-Valued Propositional Logic Systems. 651-654 2009 CSIE (4) http://doi.ieeecomputersociety.org/10.1109/CSIE.2009.77 conf/csie/2009 db/conf/csie/csie2009-4.html#Li09b