On the hierarchy of t-norm based residuated fuzzy logics

In this paper we overview recent results, both logical and algebraic, about [0,1]-valued logical systems having a t-norm and its residuum as truth functions for conjunction and implication. We describe their axiomatic systems and algebraic varieties and show they can be suitably placed in a hierarchy of logics depending on their characteristic axioms. We stress that the most general variety generated by residuated structures in [0, 1], which are defined by left-continuous t-norms, is not the variety of residuated lattices but the variety of pre-linear residuated lattices, also known as MTL-algebras. Finally, we also relate t-norm based logics to substructural logics, in particular to Ono's hierarchy of extensions of the Full Lambek Calculus.

[1]  J. Rosser,et al.  Fragments of many-valued statement calculi , 1958 .

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

[3]  Jan Pavelka,et al.  On Fuzzy Logic I Many-valued rules of inference , 1979, Math. Log. Q..

[4]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

[5]  I. Ferreirim.  On varieties and quasivarieties of hoops and their reducts. , 1992 .

[6]  U. Höhle.  Commutative, residuated 1—monoids , 1995 .

[7]  J. Fodor.  Nilpotent minimum and related connectives for fuzzy logic , 1995, Proceedings of 1995 IEEE International Conference on Fuzzy Systems..

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

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

[10]  Kazushige Terui,et al.  The finite model property for various fragments of intuitionistic linear logic , 1999, Journal of Symbolic Logic.

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

[12]  Petr Hájek,et al.  Residuated fuzzy logics with an involutive negation , 2000, Arch. Math. Log..

[13]  Petr Cintula.  About axiomatic systems of product fuzzy logic , 2001, Soft Comput..

[14]  Lluis Godo,et al.  Monoidal t-norm based logic: towards a logic for left-continuous t-norms , 2001, Fuzzy Sets Syst..

[15]  S. Gottwald.  A Treatise on Many-Valued Logics , 2001 .

[16]  Siegfried Gottwald,et al.  A new axiomatization for involutive monoidal t-norm-based logic , 2001, Fuzzy Sets Syst..

[17]  Franco Montagna,et al.  On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic , 2002, Stud Logica.

[18]  Franco Montagna,et al.  A Proof of Standard Completeness for Esteva and Godo's Logic MTL , 2002, Stud Logica.

[19]  Petr Hájek,et al.  Observations on the monoidal t-norm logic , 2002, Fuzzy Sets Syst..

[20]  Antonio di Nola,et al.  Subvarieties of BL-algebras generated by single-component chains , 2002, Arch. Math. Log..

[21]  Axiomatizing Monoidal Logic: A Correction , 2003, J. Multiple Valued Log. Soft Comput..