Strict core fuzzy logics and quasi-witnessed models

In this paper we prove strong completeness of axiomatic extensions of first-order strict core fuzzy logics with the so-called quasi-witnessed axioms with respect to quasi-witnessed models. As a consequence we obtain strong completeness of Product Predicate Logic with respect to quasi-witnessed models, already proven by M.C. Laskowski and S. Malekpour in [19]. Finally we study similar problems for expansions with Δ, define Δ-quasi-witnessed axioms and prove that any axiomatic extension of a first-order strict core fuzzy logic, expanded with Δ, and Δ-quasi-witnessed axioms are complete with respect to Δ-quasi-witnessed models.

[1]  Michael C. Laskowski,et al.  Provability in predicate product logic , 2007, Arch. Math. Log..

[2]  Petr Hájek,et al.  On theories and models in fuzzy predicate logics , 2006, Journal of Symbolic Logic.

[3]  Petr Hájek.  On witnessed models in fuzzy logic II , 2007, Math. Log. Q..

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

[5]  Petr Hájek,et al.  A complete many-valued logic with product-conjunction , 1996, Arch. Math. Log..

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

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

[8]  H. Ono,et al.  Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151 , 2007 .

[9]  Petr Hájek,et al.  Basic fuzzy logic and BL-algebras , 1998, Soft Comput..

[10]  Petr Cintula,et al.  Implicational (semilinear) logics I: a new hierarchy , 2010, Arch. Math. Log..

[11]  Petr Hájek,et al.  Making fuzzy description logic more general , 2005, Fuzzy Sets Syst..

[12]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[13]  Franco Montagna,et al.  Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies , 2009, Ann. Pure Appl. Log..

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

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

[16]  Umberto Straccia,et al.  Towards a Crisp Representation of Fuzzy Description Logics under Lukasiewicz Semantics , 2008, ISMIS.

[17]  Àngel García-Cerdaña,et al.  On the scope of some formulas defining additive connectives in fuzzy logics , 2005, Fuzzy Sets Syst..

[18]  Petr Hájek,et al.  Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics Kurt GÖdel's Legacy , 1996, Bulletin of Symbolic Logic.

[19]  Petr Hájek,et al.  On witnessed models in fuzzy logic , 2007, Math. Log. Q..