Abstract
The monoidal t-norm based logic MTL is obtained from Hájek's Basic Fuzzy logic BL by dropping the divisibility condition for the strong (or monoidal) conjunction. Recently, Jenei and Montgana have shown MTL to be standard complete, i.e. complete with respect to the class of residuated lattices in the real unit interval [0,1] defined by left-continuous t-norms and their residua. Its corresponding algebraic semantics is given by pre-linear residuated lattices. In this paper we address the issue of standard and rational completeness (rational completeness meaning completeness with respect to a class of algebras in the rational unit interval [0,1]) of some important axiomatic extensions of MTL corresponding to well-known parallel extensions of BL. Moreover, we investigate varieties of MTL algebras whose linearly ordered countable algebras embed into algebras whose lattice reduct is the real and/or the rational interval [0,1]. These embedding properties are used to investigate finite strong standard and/or rational completeness of the corresponding logics.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Blok, W., and D. Pigozzi, 'Algebraizable Logics', Mem. Amer. Math. Soc. 396, vol. 77, Amer. Math. Soc., Providence 1989.
Bloom, S., 'Some theorems on structural consequence operations', Studia Logica 34, 1975, 1-9.
Boixader, D., F. Esteva and L. Godo, 'On the continuity of t-norms on bounded chains', Proc. IFSA'99, Taiwan, 1999, pp. 476-479.
Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra, Springer Verlag, New York 1981.
Chang, C. C., and H. J. Keisler. Model Theory, 3rd. edition, North Holland, Amsterdam, 1990.
Czelakowski, J., 'Reduced products of logical matrices', Studia Logica 39, 1980, 19-43.
Cignoli, R., I. M. L. D'Ottaviano and D. Mundici, Algebraic Foundations of Many-valued Reasoning, Kluwer, 2000.
Cignoli, R., F. Esteva, L. Godo and A. Torrens, 'Basic Fuzzy Logic is the logic of continuous t-norms and their residua', Soft Computing 4, 2000, 106-112.
Cignoli, R., and A. Torrens, 'An algebraic analysis of product logic', Multiple Valued Logic 5, 2000, 45-65.
DiNola, A., 'Representation and reticulation by quotients of MV-algebras', Ricerche Mat. 40, 1991, 291-297.
DiNola, A, F. Esteva, P. Garcia, L. Godo and S. Sessa, 'Subvarieties of BL-algebras generated by single-component chains', Archive for Mathematical Logic (to appear).
Esteva, F., and L. Godo, 'Monoidal t-norm based logic: towards a logic for left-continuous t-norms', Fuzzy Sets and Systems 124(3), 2001, 271-288.
Esteva, F., L. Godo, P. HÁjek, 'A complete may-valued logic with product conjunction', Archive for Mathematical Logic 35, 1996, 191-208.
Esteva, F., L. Godo, P. HÁjek and M. Navara, 'Residuated fuzzy logics with an involutive negation', Archive for Mathematical Logic (2000) 39: 103-124.
Gottwald, S., and S. Jenei, 'A new axiomatization for involutive monoidal t-norm based logic', Fuzzy Sets and Systems 124(3), 2001, 303-308.
HÁjek, P., 'Observations on the monoidal t-norm logic', to appear in Fuzzy Sets and Systems.
HÁjek, P., Metamathematics of Fuzzy Logic, Kluwer, 1998.
HÁjek, P., 'Basic Fuzzy Logic and BL algebras', Soft Computing 2(3), 1998, 124-128.
Jenei, S., and F. Montagna, 'A proof of standard completeness for Esteva and Godo's logic MTL', Studia Logica 70, 2002, 183-192.
Kowalski, T., H. Ono, 'Residuated Lattices: An algebraic glimpse at logics without contraction (Preliminary Report)', Research Report of the Japan Advanced Institute of Science and Technology (JAIST), 2001.
Laskowski, M. C., and Y. V. Shashoua, 'A classification of BL-algebras’ (paper in preparation).
Ono, H., 'Structural rules and logical hierarchy', in Mathematical Logic (edited by P. P. Petkov), Proceedings of the Summer School and Conference on Mathematical Logic, Heyting 1988, Plenum Press, New York 1990, pp. 95-104.
Ono, H., 'Logics without contraction rule and residuated lattices I', in Festschrift on the occasion of R. K. Meyer 65th birthday (edited by E. Mares), forthcoming.
Rasiowa, H., An Algebraic Approach to Non-Classical Logics, North Holland Publishing Co., Amsterdam 1974.
WÓjcicki, R., 'On matrix representation of consequence operations of Łukasiewicz's sentential calculi', Z.M.L. 19, 1976, 239-247.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Esteva, F., Gispert, J., Godo, L. et al. On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic. Studia Logica 71, 199–226 (2002). https://doi.org/10.1023/A:1016548805869
Issue Date:
DOI: https://doi.org/10.1023/A:1016548805869