An Algebraic Method to Decide the Deduction Problem in Many-Valued Propositional Calculus. - Jin-Zhao Wu; Hong-Yan Tan (ISMVL, 1994)

An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics. - Jin-Zhao Wu; Hong-Yan Tan; Yongli Li (J. Appl. Non Class. Logics, 1998)