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
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 via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
L. P. Belluce. Semi-simple algebras of infinite valued logic and bold fuzzy set theory, Canad. J. Math. 38 (1986), 1356–1379.
L. P. Belluce. Semi-simple and complete MV-algebras, Algebra Universalis 29 (1992), 1–9.
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).
G. Birkhoff. Lattice Theory, Amer. Math. Soc. Colloquium Publications, third edition (Amer. Math. Soc., RI, 1973).
C. C. Chang. Algebraic analysis of many valued logics, Trans. Amer. Math. Soc. 88 (1958), 467–490.
C. C. Chang. A new proof of the completeness of the Lukasiewicz axioms, Trans. Amer. Math. Soc. 93 (1959), 74–80.
J. C. Fodor. Contrapositive symmetry of fuzzy implications, Technical Report 1993/1, Eötvös Loränd University, Budapest 1993.
O. Frink. New algebras of logic, Amer. Math. Monthly 45 (1938), 210–219.
L. Fuchs. Über die Ideale arithmetischer Ringe, Commentarii Math. Helv. 23 (1949), 334–341.
J. Y. Girard. Linear logic, Theor. Comp. Sci. 50 (1987), 1–102.
F. Gößwald-Bernsau. Kommutative, residuierte, verbandsgeordnete Monoide und Halbeinfachheit, Diplomarbeit, Wuppertal 1994.
S. Gottwald. Mehrwertige Logik (Akademie-Verlag, Berlin 1989).
L. S. Hay. Axiomatization of infinite-valued predicate calculus, Journal of Symbolic Logic 28 (1963), 77–86.
U. Höhle. Editorial of the Special Issue: Mathematical Aspects of Fuzzy Set Theory, Fuzzy Sets and Systems 40 (1991), 253–256.
U. Höhle and L. N. Stout. Foundations of fuzzy sets, Fuzzy Sets and Systems 40 (1991), 257–296.
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).
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).
U. Höhle. Monoidal Logic in "Foundations in Fuzzy Systems" (Eds. R. Kruse et al.) (Vieweg 1995).
H. MacNeille. Partially ordered sets, Trans. Amer. Math. Soc. 42 (1937), 416–460.
P.T. Johnstone. Stone Spaces (Cambridge University Press, Cambridge 1982).
F. Lacava. Sulle L-algebre iniettive, Bolletino UMI (7) 3-A (1989), 319–324.
D. Mundici. Interpretation of AF C*-algebras in Lukasiewicz sentential logic, Functional Analysis 65 (1986), 15–63.
A. B. Paalman de Miranda. Topological Semigroups (Amsterdam : Math. Centrum 1964).
H. Rasiowa and R. Sirkoski. A proof of the completeness theorem of Gödel, Fundamenta Math. 37 (1950), 193–200.
H. Rasiowa and R. Sikorski. The Mathematics of Metamathematics, third edition (Polish Scientific Publishers, Warszawa 1970).
K. I. Rosenthal. Quantales and Their Applications, Pitman Research Notes in Mathematics 234 (Longman, Burnt Mill, Harlow 1990).
B. Schweizer and A. Sklar. Probabilistic Metric Spaces (North-Holland, Amsterdam 1983).
R. Sikorski. Booelan Algebras (Springer-Verlag, Berlin 1964).
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Höhle, U. (1995). Commutative, residuated 1—monoids. In: Höhle, U., Klement, E.P. (eds) Non-Classical Logics and their Applications to Fuzzy Subsets. Theory and Decision Library, vol 32. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-0215-5_5
Download citation
DOI: https://doi.org/10.1007/978-94-011-0215-5_5
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4096-9
Online ISBN: 978-94-011-0215-5
eBook Packages: Springer Book Archive