Short note: on the redundancy of axiom (A3) in BL and MTL
From Mathfuzzlog
| Authors: |
|
|
| 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.
