Skip to main content
SpringerLink
Log in

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

  • Focus
  • Published:
Soft Computing Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Esteva F, Godo L (2001) Monoidal t-norm based logic: Towards a logic for left-continuous t-norms. Fuzzy Sets Syst 123(3):271–288

    Google Scholar 

  2. Hájek P (1998) Metamathematics of fuzzy logic, vol 4 of trends in logic. Kluwer, Dordercht

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic

    Petr Cintula

Authors
  1. Petr Cintula
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Partial support of the grant No.A103004/00 of the Grant agency of the Academy of Sciences of the Czech Republic is acknowledged.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Cintula, P. Short note: on the redundancy of axiom (A3) in BL and MTL. Soft Comput 9, 942 (2005). https://doi.org/10.1007/s00500-004-0445-9

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-004-0445-9

Keywords

Search

Navigation