An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics

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):353-360, 1998.

Abstract

Abstract is missing.