The deduction theorem for Łukasiewicz many-valued propositional calculi

• 1 December 1964
• journal article
• Published by Springer Nature in Studia Logica
• Vol. 15  (1) , 7-19
• https://doi.org/10.1007/bf02125899

Abstract

Keywords

• POSITIVE EXPRESSION
• PROPOSITIONAL CALCULUS
• POSITIVE LOGIC
• DEDUCTION THEOREM
• GREAT SYSTEM