Normal forms for fuzzy logics: a proof-theoretic approach
scientific article; zbMATH DE number 5162352