Abstract
In the present paper we show that any at most countable linearly-ordered commutative residuated lattice can be embedded into a commutative residuated lattice on the real unit interval [0, 1]. We use this result to show that Esteva and Godo's logic MTL is complete with respect to interpretations into commutative residuated lattices on [0, 1]. This solves an open problem raised in.
Similar content being viewed by others
References
Abrusci, V. M., 'A sequent calculus for intuitionistic linear propositional logic', in: Proceedings of the Summer School and Conference in Mathematical Logic Heyting 88, Chaika, Bulgaria, Plenum Press 1990.
Cignoli, R., F. Esteva, L. Godo, and A. Torrens, 'Basic Fuzzy Logic is the logic of continuous t-norms and of their residua', Soft Computing 4 (2000), 106-112.
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.
Gottwald, S., and S. Jenei, 'A new axiomatization for Involutive Monoidal T-norm-based Logic', Fuzzy Sets and Systems 124,3 (2001), 303-307.
HÁjek, P., Metamathematics of Fuzzy Logic, Kluwer, Dordrecht, 1998.
HÖhle, U., 'Commutative, residuated l-monoids', in Non-Classical Logics and Their Applications to Fuzzy Subsets, U. Höhle, E. P. Klement (eds.), Kluwer Academic Publisher, Dordrecht, 1995, pp. 53-106.
Jenei, S., 'Structure of Girard monoids on [0, 1]', in Topological and Algebraic Structures in Fuzzy Sets, E. P. Klement and S. E. Rodabaugh (eds.), Kluwer Academic Publishers, (to appear).
Klement, E. P., R. Mesiar, and E. Pap, Triangular Norms, Kluwer Academic Publisher, Dordrecht, 2000.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Jenei, S., Montagna, F. A Proof of Standard Completeness for Esteva and Godo's Logic MTL. Studia Logica 70, 183–192 (2002). https://doi.org/10.1023/A:1015122331293
Issue Date:
DOI: https://doi.org/10.1023/A:1015122331293