Short note: on the redundancy of axiom (A3) in BL and MTL
scientific article; zbMATH DE number 5009485