Short note: on the redundancy of axiom (A3) in BL and MTL
|Title:||Short note: on the redundancy of axiom (A3) in BL and MTL|
|Download from the publisher|
In this short note we prove the redundance of axiom (A3) of Hájek's Basic Fuzzy Logic. We also extend this result to Esteva and Godo's logic MTL.