A method of axiomatization of Lukasiewicz logics
scientific article; zbMATH DE number 3467039