The deduction theorem for Lukasiewicz many-valued propositional calculi
scientific article; zbMATH DE number 3456894