Logics for residuated pseudo-uninorms and their residua (Q2450646)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Logics for residuated pseudo-uninorms and their residua |
scientific article |
Statements
Logics for residuated pseudo-uninorms and their residua (English)
0 references
14 May 2014
0 references
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.
0 references
fuzzy logics
0 references
residuated pseudo-uninorms logics
0 references
\(n\)-potency axiom
0 references