A Proof of Standard Completeness for Esteva and Godo's Logic MTL |
| |
| Authors: | Jenei Sándor Montagna Franco |
| |
| Institution: | (1) Institute of Mathematics and Informatics, University of Pécs, Ifjúság u. 6, H-7624 Pécs, Hungary;(2) Department of Mathematics, University of Siena, Via del Capitano 15, 53100 Siena, Italy |
| |
| 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. |
| |
| Keywords: | Many-valued logic residuated lattices left-continuous t-norms |
| 本文献已被 SpringerLink 等数据库收录！ |
|
