Involutive uninorm logic with the \(n\)-potency axiom (Q2450645)
From MaRDI portal
scientific article
In more languages
ConfigureLanguage | Label | Description | Also known as |
---|---|---|---|
English | Involutive uninorm logic with the \(n\)-potency axiom |
scientific article |
Statements
Uninorms are binary operations in the real unit interval which make it into a commutative ordered monoid. The involutive uninorm logic IUL has an algebraic semantics given by the class of all chains among the commutative residuated lattice-ordered semigroups over a bounded lattice. The author proves the standard completeness theorem for \(C_n\)-IUL, i.e.\ the axiomatic extension of IUL by the \(n\)-potency axiom \(A^n\leftrightarrow A^{n-1}\). That means, he proves that already the class of all those commutative residuated ordered semigroups over [0,1] gives an adequate semantics for \(C_n\)-IUL, which satisfy the \(n\)-potency condition \(x^n = x^{n-1}\) for the iteration of the semigroup operation. To reach this goal, he generalizes some methods for the construction of left continuous t-norms to uninorms.