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

Jin-Zhao Wu, Hong-Yan Tan. An Algebraic Method to Decide the Deduction Problem in Many-Valued Propositional Calculus. In ISMVL. pages 270-273, 1994.

Abstract

Abstract is missing.