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

  • Authors:

  • Petr Cintula

  • Affiliations:

  • Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic

  • Venue:
  • Soft Computing - A Fusion of Foundations, Methodologies and Applications
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

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.