Skip to main content
SpringerLink
Log in

On the continuity points of left-continuous t-norms

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract.

Left-continuous t-norms are much more complicated than the continuous ones, and obtaining a complete classification of them seems to be a very hard task. In this paper we investigate some aspects of left-continuous t-norms, with emphasis on their continuity points. In particular, we are interested in left-continuous t-norms which are isomorphic to t-norms which are continuous in the rationals. We characterize such a class, and we prove that it contains the class of all weakly cancellative left-continuous t-norms.

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. Aglianó, P., Montagna, F.: Varieties of BL algebras. J. Pure Appl. Algebra, to appear

  2. Cignoli, R., Esteva, F., Godo, L., Torrens, A.: Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Computing 4, 106–112 (2000)

    Article  Google Scholar 

  3. Cignoli, R., Mundici, D., D’Ottaviano, I.M.L.: Algebraic foundations of many-valued reasoning. Kluwer, 2000

  4. Cignoli, R., Esteva, F., Godo, L., Montagna, F.: On a class of left-continuous t-norms. Fuzzy Sets and Systems 131, 283–296 (2002)

    Article  MATH  Google Scholar 

  5. Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124, 271–288 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  6. Esteva, F., Godo, L., Gispert, J., Montagna, F.: On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic. Studia Logica 71, 199–226 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  7. Fodor, J.C.: Contrapositive symmetry of fuzzy implications. Fuzzy Sets and Systems 69, 141–156 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  8. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, 1998

  9. Hájek, P.: Observation on the monoidal t-norm logic. Fuzzy Sets and Systems 132, 107–112 (2002)

    Article  Google Scholar 

  10. Höhle, U.: Commutative, residuated l-monoids. In: H. Höhle, P. Klement eds., Non-Classical Logics and their Applications to Fuzzy Subsets, Kluwer Acad. Publ., Dordrecht 1995, pp. 53–106

  11. Klement, E.P., Mesiar, R., Pap, E.: Triangular norms. Kluwer Academic Publishers, Dordrecht, 2000

  12. Jenei, S.: A note on the ordinal sum theorem and its consequence for the construction of triangular norms. Fuzzy Sets and Systems 126, 199–205 (2002)

    Article  MATH  Google Scholar 

  13. Jenei, S.: New family of triangular norms via contrapositive symmetrization of residuated implications. Fuzzy Sets and Systems 110, 157–174 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  14. Jenei, S.: Structure of left-continuous t-norms with strong induced negations (I). Rotation construction. J. Appl. non-classical Logics 10, 83–92 (2001)

    Google Scholar 

  15. Jenei, S.: Structure of Girard monoids over [0,1]. In: Topological and Algebraic Structures in Fuzzy Sets. S. Rodabaugh, P. Klement eds., Kluwer, to appear

  16. Jenei, S., Montagna, F.: A proof of standard completeness for Esteva’s and Godo’s logic MTL. Studia Logica, 70, 184–192 (2002)

    Google Scholar 

  17. Jenei, S., Montagna, F.: A general method for constructing left-continuous t-norms. Fuzzy Sets and Systems, to appear

  18. Mostert, P.S., Shields, A.L.: On the structure of semigroups on a compact manifold with boundary. Annals Math. 65, 117–143 (1957)

    MathSciNet  MATH  Google Scholar 

  19. Ono, H., Komori, Y.: Logics without the contraction rule. J. Symbolic Logic 50, 169–201 (1985)

    MathSciNet  MATH  Google Scholar 

  20. Ono, H.: Structural rules and a logical hierarchy. In: Mathematical Logic, Proceedings of the Summer School and Conference on Mathematical Logic, Heyting’88. P.P. Petkov ed., Plenum Press 1990, pp. 95–104

  21. Ono, H.: Semantics for substructural logics. In: Substructural Logics. K. Došen, P. Schroeder-Heister eds., Oxford University Press, 1993, pp. 259–291

  22. Ono, H.: Logics without the contraction rule and residuated lattices I. Festschrift on the occasion of R.K. Meyer’s 65th birthday, forthcoming, 2000

  23. Royden, H.L.: Real Analysis. Macmillan Publishing Company Inc., New York, 1968

  24. Smutná, D.: On a peculiar t-norm. Busefal 75, 60–67 (1998)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics and Informatics, University of Pécs, Ifjúság. u. 6, 7624, Pécs, Hungary

    S. Jenei

  2. Department of Matematics, University of Siena, Via del Capitano 15, 53100, Siena, Italy

    F. Montagna

Authors
  1. S. Jenei
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. Montagna
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to S. Jenei.

Additional information

S. Jenei was supported by the National Scientific Research Fund Hungary (OTKA F/032782)

Mathematics Subject Classification (2000): 20M14, 06F05

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jenei, S., Montagna, F. On the continuity points of left-continuous t-norms. Arch. Math. Logic 42, 797–810 (2003). https://doi.org/10.1007/s00153-003-0182-2

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-003-0182-2

Keywords

Search

Navigation