T-norm-based logics with an independent involutive negation

In this paper we investigate the addition of arbitrary independent involutive negations to t-norm-based logics. We deal with several extensions of MTL and establish general completeness results. Indeed, we will show that, given any t-norm-based logic satisfying some basic properties, its extension by means of an involutive negation preserves algebraic and (finite) strong standard completeness. We will deal with both propositional and predicate logics.

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

[2]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[3]  E. Trillas.  Sobre funciones de negación en la teoría de conjuntos difusos. , 1979 .

[4]  Lluis Godo,et al.  Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results , 2007, Fuzzy Sets Syst..

[5]  Hung T. Nguyen,et al.  A First Course in Fuzzy Logic , 1996 .

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

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

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

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

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

[11]  Franco Montagna,et al.  The $L\Pi$ and $L\Pi\frac{1}{2}$ logics: two complete fuzzy systems joining Łukasiewicz and Product Logics , 2001, Arch. Math. Log..

[12]  Petr Cintula,et al.  Weakly Implicative (Fuzzy) Logics I: Basic Properties , 2006, Arch. Math. Log..

[13]  L. Chambadal,et al.  Thèorie des treillis , 1971 .

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

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

[16]  Mirko Navara,et al.  Two Approaches to Fuzzy Propositional Logics , 2003, J. Multiple Valued Log. Soft Comput..

[17]  Zuzana Haniková,et al.  On the complexity of propositional logics with an involutive negation , 2003, EUSFLAT Conf..

[18]  R. McKenzie,et al.  Algebras, Lattices, Varieties , 1988 .

[19]  Rostislav Horcík.  Standard completeness theorem for ΠMTL , 2005, Arch. Math. Log..

[20]  Tommaso Flaminio,et al.  Extending the Monoidal T-norm Based Logic with an Independent Involutive Negation , 2005, EUSFLAT Conf..

[21]  Lluis Godo,et al.  Basic Fuzzy Logic is the logic of continuous t-norms and their residua , 2000, Soft Comput..