Logics for residuated pseudo-uninorms and their residua (Q2450646)

This paper deals with non-commutative fuzzy logics, thus continuing in the axiomatic approach proposed and developed by \textit{G. Metcalfe} et al. [Proof theory for fuzzy logics. Dordrecht: Springer (2009; Zbl 1168.03002)]. By adding the \(n\)-potency axiom, the author proves the standard completeness of the discussed logics. Based on this result, the author conjectures that the proposed system (with the \(n\)-potency axiom) is just the logic of residuated pseudo-uninorms and their residua. As a by-product, a generalization of \textit{S. Jenei}'s embedding method [Fuzzy Sets Syst. 143, No. 1, 27--45 (2004; Zbl 1040.03021)] of constructing left-continuous triangular norms is obtained.