\(n\)-contractive BL-logics
scientific article; zbMATH DE number 5886770
scientific article