Logics for residuated pseudo-uninorms and their residua

With the aim of capturing the logic of residuated pseudo-uninorms and their residua, we introduce an axiomatic extension of the system of bounded representable residuated lattices of Metcalfe, Olivetti and Gabbay. Since many known non-commutative fuzzy logics are axiomatic extensions of their system, it plays an important role among non-commutative fuzzy logics. By adding the so-called n-potency axiom to our system, we prove that standard completeness can be obtained. This result supports our conjecture that our system is the logic of residuated pseudo-uninorms and their residua.

[1]  Bin Zhao,et al.  HpsUL is not the logic of pseudo-uninorms and their residua , 2009, Log. J. IGPL.

[2]  Yong-Ming Li,et al.  Weak uninorm aggregation operators , 2000, Inf. Sci..

[3]  Agata Ciabattoni,et al.  Bounded Contraction in Systems with Linearity , 1999, TABLEAUX.

[4]  Andreja Prijatelj,et al.  Bounded contraction and Gentzen-style formulation of Łukasiewicz logics , 1996, Stud Logica.

[5]  San-Min Wang.  The finite model property for semilinear substructural logics , 2013, Math. Log. Q..

[6]  Bin Zhao,et al.  Generalized Bosbach and Riečan states based on relative negations in residuated lattices , 2012, Fuzzy Sets Syst..

[7]  Petr Hájek,et al.  Fuzzy Logics with Noncommutative Conjuctions , 2003, J. Log. Comput..

[8]  Yong-Ming Li,et al.  Remarks on uninorm aggregation operators , 2000, Fuzzy Sets Syst..

[9]  Sándor Jenei,et al.  How to construct left-continuous triangular norms--state of the art , 2004, Fuzzy Sets Syst..

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

[11]  D. Gabbay,et al.  Proof Theory for Fuzzy Logics , 2008 .

[12]  Andreja Prijatelj.  Connectification forn-contraction , 1995, Stud Logica.

[13]  Petr Hájek.  Observations on non-commutative fuzzy logic , 2003, Soft Comput..

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

[15]  San-Min Wang.  Uninorm logic with the n-potency axiom , 2012, Fuzzy Sets Syst..

[16]  San-Min Wang.  Involutive uninorm logic with the n-potency axiom , 2013, Fuzzy Sets Syst..

[17]  Franco Montagna,et al.  n-Contractive BL-logics , 2011, Arch. Math. Log..

[18]  Carles Noguera,et al.  On n ‐contractive fuzzy logics , 2007, Math. Log. Q..