A proof of standard completeness for Esteva and Godo's logic MTL

Studia Logica 70 (2):183-192 (2002)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
63 (#257,501)

6 months
18 (#143,247)

Historical graph of downloads
How can I increase my downloads?