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.
Keywords:
monoidal t-norm-based logic; fuzzy logic; tautologies of left-continuous t-norms; MTL-algebrasReferences:
| [1] | Baaz, M.; Ciabatoni, A.; Fermüller, C.; Veith, H., Proof theory of fuzzy logicsUrquhart’s C and related logics, (Proc. 23rd Internat. Symp. MFCS’98, Lecture Notes in Computer Science, vol. 1450 (1998), Springer: Springer Berlin), 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.; 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: Kluwer Academic Press Dordrecht |
| [5] | Esteva, F.; Domingo, X., Sobre negaciones fuertes y débiles en [0,1], Stochastica, IV, 2, 141-166 (1980) · Zbl 0448.03047 |
| [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.; 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.; 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.; 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.: Research Studies Press Ltd. Baldock, UK · Zbl 1048.03002 |
| [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: Kluwer Academic Press Dordrecht · Zbl 0937.03030 |
| [14] | Höhle, U., Commutative, residuated l-monoids, (Höhle, U.; Klement, E. P., Non-Classical Logics and Their Applications to Fuzzy Subsets (1995), Kluwer Acad. Publ.: Kluwer Acad. Publ. Dordrecht), 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.; 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, (Gabbay, D.; Guenthner, F., Handbook of Philosophical Logic,, vol. III. (1984), Reidel: Reidel Dordrecht), 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.); 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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
