Convergence of sequence of formulas in n-valued propositional logic
MENG Di, LI Jun
Computer Engineering and Applications . 2016, (22): 55 -58 .