zbMATH — the first resource for mathematics

A proof of standard completeness for Esteva and Godo’s logic MTL. (English) Zbl 0997.03027
Summary: 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 F. Esteva and L. Godo’s logic MTL [Fuzzy Sets Syst. 124, 271-288 (2001; Zbl 0994.03017)] is complete with respect to interpretations into commutative residuated lattices on \([0,1]\). This solves an open problem raised by Esteva and Godo [loc. cit.].

03B50 Many-valued logic
03B52 Fuzzy logic; logic of vagueness
03G10 Logical aspects of lattices and related structures
Full Text: DOI