Short note: on the redundancy of axiom (A3) in BL and MTL

From Mathfuzzlog
Jump to: navigation, search
Authors:
Petr Cintula
Title: Short note: on the redundancy of axiom (A3) in BL and MTL
Journal: Soft Computing
Volume 9
Number 12
Pages: 942-942
Year: 2005
Download from the publisher





Abstract

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.