Franco Montagna

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 Godos logic MTL is complete with respect to interpretations into commutative residuated lattices on [0, 1]. This solves an open problem raised in.

The \(L\Pi\) and \(L\Pi\frac{1}{2}\) logics: two complete fuzzy systems joining Łukasiewicz and Product Logics

Abstract. In this paper we provide a finite axiomatization (using two finitary rules only) for the propositional logic (called

On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic

L\Pi

Basic Hoops: an Algebraic Study of Continuous t-norms

) resulting from the combination of Lukasiewicz and Product Logics, together with the logic obtained by from

Equational characterization of the subvarieties of BL generated by t-Norm algebras

L \Pi

On Weakly Cancellative Fuzzy Logics

by the adding of a constant symbol and of a defining axiom for

Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀

\frac{1}{2}

Adding structure to MV-algebras

, called

On a class of left-continuous t -norms

L \Pi\frac{1}{2}

Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation☆

. We show that