A Proof of Standard Completeness for Esteva and Godo s Logic MTL - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Sándor Jenei, Franco Montagna. A Proof of Standard Completeness for Esteva and Godo s Logic MTL. Studia Logica, 70(2):183-192, 2002.

The following publications are possibly variants of this publication:

Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo s Logic MTL[forall]Franco Montagna, Hiroakira Ono. sLogica, 71(2):227-245, 2002.

On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm LogicFrancesc Esteva, Joan Gispert, Lluis Godo, Franco Montagna. sLogica, 71(2):199-226, 2002.

The ::::L::::PL/Pi and ::::L::::P1/2 L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product LogicsFrancesc Esteva, Lluis Godo, Franco Montagna. AML, 40(1):39-67, 2001. [doi]

runs on WebDSL