Commutative, residuated 1—monoids

  • U. Höhle
Chapter
Part of the Theory and Decision Library book series (TDLB, volume 32)

Abstract

The purpose of this paper is to outline a common framework for a diversity of monoidal structures which constitute the basis of various papers in fuzzy set theory. The most frequent structures we encounter in the literature are given by Hey ting algebras, MV-algebras and semigroup structures on the real unit interval (so-called t-norms ([27]). Heyting algebras appear in papers looking from an intuitionistic point of view at fuzzy set theory, MV-algebras form the base for a positivistic approach to fuzzy set theory (cf. Poincaré's paradox and related topics in [15]), and finally t-norms are prefered by statisticians working with a probabilistic understanding of fuzzy set theory. All these monoidal structures have in common the following basic properties : Integrality, commutativity of the semigroup operation * and the existence of a binary operation which is adjoint to the given operation *. Therefore we claim that the structure of integral, commutative, residuated l-monoids forms the appropriate level of generality for our intension.

Keywords

Boolean Algebra Heyting Algebra Idempotent Element Monoidal Structure Local Finiteness 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    L. P. Belluce. Semi-simple algebras of infinite valued logic and bold fuzzy set theory, Canad. J. Math. 38 (1986), 1356–1379.MathSciNetMATHCrossRefGoogle Scholar
  2. 2.
    L. P. Belluce. Semi-simple and complete MV-algebras, Algebra Universalis 29 (1992), 1–9.MathSciNetMATHCrossRefGoogle Scholar
  3. 3.
    L. P. Belluce. α-complete MV-algebras, in "Non-Classical Logics and Their Applications to Fuzzy Subsets : A Handbook of the Mathematical Foundations of Fuzzy Set Theory", (Eds. U. Höhle and E. P Klement) (Kluwer, Boston 1994).Google Scholar
  4. 4.
    G. Birkhoff. Lattice Theory, Amer. Math. Soc. Colloquium Publications, third edition (Amer. Math. Soc., RI, 1973).Google Scholar
  5. 5.
    C. C. Chang. Algebraic analysis of many valued logics, Trans. Amer. Math. Soc. 88 (1958), 467–490.MathSciNetMATHCrossRefGoogle Scholar
  6. 6.
    C. C. Chang. A new proof of the completeness of the Lukasiewicz axioms, Trans. Amer. Math. Soc. 93 (1959), 74–80.MathSciNetMATHGoogle Scholar
  7. 7.
    J. C. Fodor. Contrapositive symmetry of fuzzy implications, Technical Report 1993/1, Eötvös Loränd University, Budapest 1993.Google Scholar
  8. 8.
    O. Frink. New algebras of logic, Amer. Math. Monthly 45 (1938), 210–219.MathSciNetCrossRefGoogle Scholar
  9. 9.
    L. Fuchs. Über die Ideale arithmetischer Ringe, Commentarii Math. Helv. 23 (1949), 334–341.MATHCrossRefGoogle Scholar
  10. 10.
    J. Y. Girard. Linear logic, Theor. Comp. Sci. 50 (1987), 1–102.MathSciNetMATHCrossRefGoogle Scholar
  11. 11.
    F. Gößwald-Bernsau. Kommutative, residuierte, verbandsgeordnete Monoide und Halbeinfachheit, Diplomarbeit, Wuppertal 1994.Google Scholar
  12. 12.
    S. Gottwald. Mehrwertige Logik (Akademie-Verlag, Berlin 1989).MATHGoogle Scholar
  13. 13.
    L. S. Hay. Axiomatization of infinite-valued predicate calculus, Journal of Symbolic Logic 28 (1963), 77–86.MathSciNetCrossRefGoogle Scholar
  14. 14.
    U. Höhle. Editorial of the Special Issue: Mathematical Aspects of Fuzzy Set Theory, Fuzzy Sets and Systems 40 (1991), 253–256.CrossRefGoogle Scholar
  15. 15.
    U. Höhle and L. N. Stout. Foundations of fuzzy sets, Fuzzy Sets and Systems 40 (1991), 257–296.MathSciNetMATHCrossRefGoogle Scholar
  16. 16.
    U. Höhle. M-valued sets and sheaves over integral cl-monoids, in "Applications of catgeory Theory to Fuzzy Subsets", p. 33–72, (Eds. S. E. Rodabaugh et al.) (Kluwer, Bosten 1992).CrossRefGoogle Scholar
  17. 17.
    U. Höhle. Presheaves over GL-monmoids, in "Non-Classical Logics and Their Applications to Fuzzy Subsets: A Handbook on the Mathematical Foundations of Fuzzy Set Theory," (Eds. U. Höhle and E. P. Klement) (Kluwer, Boston 1995).Google Scholar
  18. 18.
    U. Höhle. Monoidal Logic in "Foundations in Fuzzy Systems" (Eds. R. Kruse et al.) (Vieweg 1995).Google Scholar
  19. 19.
    H. MacNeille. Partially ordered sets, Trans. Amer. Math. Soc. 42 (1937), 416–460.MathSciNetCrossRefGoogle Scholar
  20. 20.
    P.T. Johnstone. Stone Spaces (Cambridge University Press, Cambridge 1982).MATHGoogle Scholar
  21. F. Lacava. Sulle L-algebre iniettive, Bolletino UMI (7) 3-A (1989), 319–324.Google Scholar
  22. 22.
    D. Mundici. Interpretation of AF C*-algebras in Lukasiewicz sentential logic, Functional Analysis 65 (1986), 15–63.MathSciNetMATHCrossRefGoogle Scholar
  23. 23.
    A. B. Paalman de Miranda. Topological Semigroups (Amsterdam : Math. Centrum 1964).MATHGoogle Scholar
  24. 24.
    H. Rasiowa and R. Sirkoski. A proof of the completeness theorem of Gödel, Fundamenta Math. 37 (1950), 193–200.MATHGoogle Scholar
  25. 25.
    H. Rasiowa and R. Sikorski. The Mathematics of Metamathematics, third edition (Polish Scientific Publishers, Warszawa 1970).Google Scholar
  26. 26.
    K. I. Rosenthal. Quantales and Their Applications, Pitman Research Notes in Mathematics 234 (Longman, Burnt Mill, Harlow 1990).Google Scholar
  27. 27.
    B. Schweizer and A. Sklar. Probabilistic Metric Spaces (North-Holland, Amsterdam 1983).MATHGoogle Scholar
  28. 28.
    R. Sikorski. Booelan Algebras (Springer-Verlag, Berlin 1964).Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1995

Authors and Affiliations

  • U. Höhle

There are no affiliations available

Personalised recommendations