Deduction Theorem for Many‐Valued Inference

• 1 January 1991
• journal article
• Published by Wiley in Mathematical Logic Quarterly
• Vol. 37  (33-35) , 533-537
• https://doi.org/10.1002/malq.19910373304

Abstract