Axiomatizations of t-norm based logics – A survey

Abstract In fuzzy logic in wider sense, i.e. in the field of fuzzy sets applications, t-norms got a prominent rôle in recent times. In many-valued logic, the ŁUKASIEWICZ systems, the GÖDEL sytems, and also the product logic all are t-norm based systems. The present paper discusses the more general 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.

[1]  Petr Hájek,et al.  A complete many-valued logic with product-conjunction , 1996, Arch. Math. Log..

[2]  N. Rescher.  Many Valued Logic , 1969 .

[3]  U. Höhle.  On the Fundamentals of Fuzzy Set Theory , 1996 .

[4]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[5]  Christian Eitzinger,et al.  Triangular Norms , 2001, Künstliche Intell..

[6]  H. Rasiowa.  An Algebraic Approach To Non Classical Logics , 1974 .

[7]  Siegfried Gottwald,et al.  Fuzzy sets and fuzzy logic: the foundations of application - from a mathematical point of view , 1993, Artificial intelligence.

[8]  Lluis Godo,et al.  Basic Fuzzy Logic is the logic of continuous t-norms and their residua , 2000, Soft Comput..

[9]  Jean-Yves Béziau,et al.  What is many-valued logic? , 1997, Proceedings 1997 27th International Symposium on Multiple- Valued Logic.

[10]  Siegfried Gottwald,et al.  Fuzzy Sets and Fuzzy Logic , 1993 .

[11]  Petr Hájek,et al.  Basic fuzzy logic and BL-algebras , 1998, Soft Comput..

[12]  Michael Dummett,et al.  A propositional calculus with denumerable matrix , 1959, Journal of Symbolic Logic (JSL).

[13]  C. Chang,et al.  Algebraic analysis of many valued logics , 1958 .