Fuzzy logics based on \([0,1)\)-continuous uninorms (Q884954): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claims
Normalize DOI.
 
(5 intermediate revisions by 5 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s00153-007-0047-1 / rank
Normal rank
 
Property / author
 
Property / author: Dov M. Gabbay / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Mirko Navara / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s00153-007-0047-1 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2075048472 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A constructive analysis of <b>RM</b> / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hypersequents, logical consequence and intermediate logics for concurrency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity of t-tautologies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Standard completeness of Hájek basic logic and decompositions of BL-chains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weakly implicative (fuzzy) logics. I: Basic properties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Van Melle's combining function in MYCIN is a representable uninorm: An alternative proof / rank
 
Normal rank
Property / cites work
 
Property / cites work: Structure of Uninorms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3021911 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2757760 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5586259 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Metamathematics of fuzzy logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES / rank
 
Normal rank
Property / cites work
 
Property / cites work: The structure of continuous uni-norms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Substructural fuzzy logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Analytic calculi for product logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sequent and hypersequent calculi for abelian and łukasiewicz logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symmetric Summation: A Class of Operations on Fuzzy Sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Uninorms in fuzzy systems modeling / rank
 
Normal rank
Property / cites work
 
Property / cites work: Defending against strategic manipulation in uninorm-based multi-agent decision making / rank
 
Normal rank
Property / cites work
 
Property / cites work: Uninorm aggregation operators / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S00153-007-0047-1 / rank
 
Normal rank

Latest revision as of 11:23, 9 December 2024

scientific article
Language Label Description Also known as
English
Fuzzy logics based on \([0,1)\)-continuous uninorms
scientific article

    Statements

    Fuzzy logics based on \([0,1)\)-continuous uninorms (English)
    0 references
    0 references
    0 references
    7 June 2007
    0 references
    Preceding studies of fuzzy logics were based on triangular norms. The authors turn attention to fuzzy logics where uninorms play the same role. Uninorms are common generalizations of triangular norms and conorms; the neutral element can be an arbitrary number from the interval \([0,1]\). The only continuous residuated uninorms are triangular norms; thus the authors assume continuity only on the halfopen interval \([0,1)\) and require so-called conjunctive uninorms, i.e., attaining \(0\) at \((0,1)\). This class includes a lot of interesting examples, including the cross ratio uninorm. Following the work of Hájek, the authors first introduce an analogue of the basic (fuzzy) logic, a logic where the conjunction (resp. implication) is evaluated by the above uninorms (resp. their residua). Then they study extensions whose semantics is based on specific uninorms. Completeness theorems are proved and the results are put into the context of previous fuzzy logics. A Gentzen-style hypersequent calculus is provided and used to establish co-NP completeness results.
    0 references
    uninorm
    0 references
    t-norm
    0 references
    fuzzy logic
    0 references
    cross ratio
    0 references
    hypersequent calculus
    0 references
    0 references

    Identifiers