1998 | ||
---|---|---|
2 | Jin-Zhao Wu, Hong-Yan Tan, Yongli Li: An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics. Journal of Applied Non-Classical Logics 8(4): (1998) | |
1994 | ||
1 | Jin-Zhao Wu, Hong-Yan Tan: An Algebraic Method to Decide the Deduction Problem in Many-Valued Propositional Calculus. ISMVL 1994: 270-273 |
1 | Yongli Li | [2] |
2 | Jin-Zhao Wu | [1] [2] |