论文信息 - A Proof of Standard Completeness for Esteva and Godo's Logic MTL

A Proof of Standard Completeness for Esteva and Godo's Logic MTL

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.

Franco Montagna | Sándor Jenei

[1] Siegfried Gottwald,et al. A new axiomatization for involutive monoidal t-norm-based logic , 2001, Fuzzy Sets Syst..

[2] Petr Hájek,et al. Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[3] Lluis Godo,et al. Monoidal t-norm based logic: towards a logic for left-continuous t-norms , 2001, Fuzzy Sets Syst..

[4] V. Michele Abrusci. Sequent Calculus for Intuitionistic Linear Propositional Logic , 1990 .

[5] S. Jenei. Structure Of Girard Monoids On [0,1] , 2003 .

[6] Lluis Godo,et al. Basic Fuzzy Logic is the logic of continuous t-norms and their residua , 2000, Soft Comput..