Abstract
In fuzzy logic in wider sense, i.e. in the field of fuzzy sets applications like fuzzy control and approximate reasoning, t-norms have reached a core position in recent times. And from a theoretical point of view fuzzy logic in the narrow sense, i.e. many-valued logic with a graded notion of entailment, is the main background theory e.g. for fuzzy reasoning. In pure many-valued logic, the Lukasiewicz systems, the Gödel sytems, and also the quite recent product logic all are t-norm based systems in the sense that the basic connectives of these systems can be defined starting with a suitable t-norm.
The present paper discusses the problem of the adequate axiomatizability for such t-norm based logical systems in general, surveying results of the last years. The main emphasis in the present paper is on propositional logic.
Keywords
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
Chang, C.C.: Algebraic analysis of many valued logics. Transactions American Mathematical Society 88 (1958) 476–490
Cignoli, R., d’Ottaviano, I, Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Kluwer, Dordrecht (1999)
Cignoli, R., Esteva, F., Godo, L., Torrens, A.: Basic Fuzzy Logic is the logic of continuous t-norms and their residua. Soft Computing (1999) (to appear)
Dummett, M.: A propositional calculus with denumerable matrix, Journal Symbolic Logic 24 (1959) 97–106
Esteva, F., Godo, L.: QBL: towards a logic for left-continuous t-norms, in: European Soc. Fuzzy Logic and Technol.: Eusflat-Estylf Joint Conference, Palma (Mallorca) 1999 Proceedings. Univ. de les Illes Balears (1999) 35–37
Gottwald, S.: Fuzzy Sets and Fuzzy Logic. The Foundations of Application — from a Mathematical Point of View. Vieweg, Braunschweig/Wiesbaden and Teknea, Toulouse (1993)
Gottwald, S.: A Treatise on Many-Valued Logic. (2000) (book in preparation)
Hâjek, P.: Basic fuzzy logic and BL-algebras. Soft Computing 2 (1998) 124–128
Hâjek, P.: Metamathematics of Fuzzy Logic. Kluwer Acad. Publ., Dordrecht (1998)
Hâjek, P., Godo, L., Esteva, F.: A complete many-valued logic with product-conjunction. Arch. Math. Logic 35 (1996) 191–208
Höhle, U.: Monoidal logic, in Kruse/Gebhardt/Palm (eds.), Fuzzy Systems in Computer Science. Vieweg, Wiesbaden (1994) 233–243
Höhle, U.: On the fundamentals of fuzzy set theory. J. Math. Anal. Appl. 201 (1996), 786–826
Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Kluwer, Dordrecht (2000) (to appear)
Mangani, P.: Su certe algebre connesse con logiche a phi valori. Boll. Unione Math. Italiana, ser. 8, 4 (1973) 68–78
Mostert, P.S., Shields, A.L.: On the structure of semigroups on a compact manifold with boundary. Annals of Mathematics 65 (1957) 117–143
Rasiowa, H.: An Algebraic Approach to Non-Classical Logics. PWN, Warsaw and North-Holland Publ. Comp., Amsterdam (1974)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gottwald, S. (2000). On t-Norms as Basic Connectives for Fuzzy Logic. In: Hampel, R., Wagenknecht, M., Chaker, N. (eds) Fuzzy Control. Advances in Soft Computing, vol 6. Physica, Heidelberg. https://doi.org/10.1007/978-3-7908-1841-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-7908-1841-3_4
Publisher Name: Physica, Heidelberg
Print ISBN: 978-3-7908-1327-2
Online ISBN: 978-3-7908-1841-3
eBook Packages: Springer Book Archive