A fuzzy logic for an ordinal sum t-norm (Q703375): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
(5 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: San-min Wang / rank
Normal rank
 
Property / author
 
Property / author: San-min Wang / 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.1016/j.fss.2004.01.005 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2088311098 / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q59306582 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms / rank
 
Normal rank
Property / cites work
 
Property / cites work: The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Contrapositive symmetry of fuzzy implications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Metamathematics of fuzzy logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A proof of standard completeness for Esteva and Godo's logic MTL / rank
 
Normal rank
Property / cites work
 
Property / cites work: A survey on different triangular norm-based fuzzy logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the logic foundation of fuzzy reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: A triangular-norm-based propositional fuzzy logic / rank
 
Normal rank

Revision as of 16:07, 7 June 2024

scientific article
Language Label Description Also known as
English
A fuzzy logic for an ordinal sum t-norm
scientific article

    Statements

    A fuzzy logic for an ordinal sum t-norm (English)
    0 references
    0 references
    0 references
    0 references
    11 January 2005
    0 references
    The authors define an extension of the MTL logic of \textit{F. Esteva} and \textit{L. Godo} [ibid. 124, 271--288 (2001; Zbl 0994.03017)] by introducing the new fuzzy logic NMG in order to cope with the ordinal sum t-norms and their residua. The corresponding standard algebra is \(([0,1],*_W, {\to_W,} \max, \min,0,1)\), where \(*_W : [0,1]^2\to[0,1]\) is defined as \((a*_W b) = 0\) if \(a + b \leq 1/2, (a*_W b) = \min(a,b)\) otherwise for all \(a,b\in[0,1]\), and \(\to_W : [0,1]^2\to[0,1]\) is defined as \((a\to_W b) = 1\) if \(a \leq b,\) \((a\to_W b) = \max(1/2 - a,b)\) otherwise for all \(a,b\in[0,1].\) A completeness theorem is proved for both related propositional and predicate calculi.
    0 references
    triangular norm
    0 references
    ordinal sum
    0 references
    extension of MTL logic
    0 references
    fuzzy logic
    0 references

    Identifiers