Monoidal t-norm based logic: Towards a logic for left-continuous t-norms. (English) Zbl 0994.03017

Summary: Hájek’s BL logic is the fuzzy logic capturing the tautologies of continuous t-norms and their residua. In this paper we investigate a weaker logic, MTL, which is intended to cope with the tautologies of left-continuous t-norms and their residua. The corresponding algebraic structures, MTL-algebras, are defined and completeness of MTL with respect to linearly ordered MTL-algebras is proved. Besides, several schematic extensions of MTL are also considered as well as their corresponding predicate calculi.


03B52 Fuzzy logic; logic of vagueness
03G25 Other algebras related to logic
Full Text: DOI


[1] Baaz, M.; Ciabatoni, A.; Fermüller, C.; Veith, H., Proof theory of fuzzy Logicsurquhart’s C and related logics, (), 203-212 · Zbl 0921.03028
[2] A. Ciabattoni, On Urquhart’s C Logic, Proc. IEEE Symp. on Multiple-valued Logic ISMVL’00, Portland, May 2000.
[3] Cignoli, R.; Esteva, F.; Godo, L.; Torrens, A., Basic fuzzy logic is the logic of continuous t-norms and their residua, Soft comput., 4, 106-112, (2000)
[4] Cignoli, R.; D’Ottaviano, I.M.L.; Mundici, D., Algebraic foundations of many-valued reasoning, (1999), Kluwer Academic Press Dordrecht
[5] Esteva, F.; Domingo, X., Sobre negaciones fuertes y débiles en [0,1], Stochastica, IV, 2, 141-166, (1980)
[6] F. Esteva, L. Godo, QBL: towards a logic for left-continuous t-norms, Proc. 1999 Eusflat-Estylf Joint Conf., Palma de Mallorca, Spain, 1999, pp. 35-37.
[7] Esteva, F.; Godo, L.; Hájek, P.; Navara, M., Residuated fuzzy logics with an involutive negation, Arch. math. logic, 39, 103-124, (2000) · Zbl 0965.03035
[8] J. Fodor, Nilpotent minimum and related connectives for fuzzy logic, Proc. FUZZ-IEEE’95, 1995, pp. 2077-2082.
[9] Girard, J.Y., Linear logic, Theoret. comput. sci., 50, 1-102, (1987) · Zbl 0625.03037
[10] S. Gottwald, Axiomatizing t-norm based logic, Proc. 1999 Eusflat-Estylf Joint Conf., Palma de Mallorca, Spain, 1999, pp. 303-306.
[11] Gottwald, S., A treatise on many-valued logics, studies in logic and computation 9, (2001), Research Studies Press Ltd. Baldock, UK
[12] Hájek, P., Basic fuzzy logic and BL-algebras, Soft comput., 2, 3, 124-128, (1998)
[13] Hájek, P., Metamathematics of fuzzy logic, (1998), Kluwer Academic Press Dordrecht · Zbl 0937.03030
[14] Höhle, U., Commutative, residuated l-monoids, (), 53-106 · Zbl 0838.06012
[15] Jenei, S., A new family of triangular norms via contrapositive symmetrization of residuated implication, Fuzzy sets and systems, 110, 2, 157-174, (2000) · Zbl 0941.03059
[16] Trillas, E., Sobre negaciones en nla teora de conjuntos difusos, Stochastica, III, 1, 47-60, (1979)
[17] A.S. Troelstra, Lectures in Linear Logic, CSLI Lecture Notes, vol. 29, Center for the Study of Language and Information, Stanford, 1991.
[18] Urquhart, A., Many-valued logic, (), 71-116 · Zbl 0875.03054
[19] Ward, M., The closure operators of a lattice, Ann. math., 43, 2, 191-196, (1942) · Zbl 0063.08179
[20] H. Ono, Logics without contraction rule and residuated lattices I. (To appear in the book for the Festschrift of Prof. R.K. Meyer, edited by E. Mare.)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.