Involutive uninorm logic with the \(n\)-potency axiom (Q2450645)

From MaRDI portal
Revision as of 14:22, 14 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
scientific article
In more languages
Configure
Language Label Description Also known as
English
Involutive uninorm logic with the \(n\)-potency axiom
scientific article

    Statements

    Involutive uninorm logic with the \(n\)-potency axiom (English)
    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.
    fuzzy logics
    uninorm logics
    semilinear logics
    completeness theorem
    standard completeness
    \(n\)-potency axiom

    Identifiers