论文信息 - Extending the Monoidal T-norm Based Logic with an Independent Involutive Negation

Extending the Monoidal T-norm Based Logic with an Independent Involutive Negation

In this paper we investigate the logic MTL obtained by extending Esteva and Godo’s logic MTL with an involutive negation not dependent on the t-norm and with the Baaz’s operator . Moreover, we also introduce and study the related predicate calculus MTL8 . Algebraic and standard completeness results are shown to hold for both MTL and MTL8 .

Tommaso Flaminio | Enrico Marchioni

[1] Franco Montagna,et al. On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic , 2002, Stud Logica.

[2] G. McNulty,et al. Algebras, Lattices, Varieties , 1988, Mathematical Surveys and Monographs.

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

[4] Petr Hájek,et al. Residuated fuzzy logics with an involutive negation , 2000, Arch. Math. Log..

[5] M. Baaz. Infinite-valued Gödel logics with $0$-$1$-projections and relativizations , 1996 .

[6] Franco Montagna,et al. A Proof of Standard Completeness for Esteva and Godo's Logic MTL , 2002, Stud Logica.

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

[8] D. Butnariu,et al. On triangular norm-based propositional fuzzy logics , 1995 .

[9] Franco Montagna,et al. Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀ , 2002, Stud Logica.