Elsevier

Fuzzy Sets and Systems

Volume 149, Issue 2, 16 January 2005, Pages 297-307
Fuzzy Sets and Systems

A fuzzy logic for an ordinal sum t-norm

https://doi.org/10.1016/j.fss.2004.01.005Get rights and content

Abstract

Among the class of residuated fuzzy logics, a few of them have been shown to have standard completeness both for propositional and predicate calculus, like Gödel, NM and monoidal t-norm-based logic systems. In this paper, a new residuated logic NMG, which aims at capturing the tautologies of a class of ordinal sum t-norms and their residua, is introduced and its standard completeness both for propositional calculus and for predicate calculus are proved.

References (11)

There are more references available in the full text version of this article.

Cited by (30)

  • Ordinal sums of the main classes of fuzzy negations and the natural negations of t-norms, t-conorms and fuzzy implications

    2020, International Journal of Approximate Reasoning
    Citation Excerpt :

    In [28] was proved that continuous t-norms (and therefore of continuous t-conorms) can be obtained as ordinal sums of continuous Archimedean t-norms (t-conorms), i.e., ordinal sums where the summands are conjugated of the product or Łukasiewicz t-norm (for more details see [27]). This characterization theorem had important consequences in t-norm based fuzzy logics, which are axiomatic extensions of some classes of algebraic logics, as can be seen in [21,36,44]. In addition, this characterization also had been useful in a neural net approach of multi-adjoint logic programming, which are unified frameworks where uncertainty, imprecise data and incomplete information can coexist [30].

  • On some questions concerning the axiomatisation of WNM-algebras and their subvarieties

    2016, Fuzzy Sets and Systems
    Citation Excerpt :

    “for each element of a chain, either its monoidal square is null, or it coincides with the identity”. It turns out for instance that also NMG is axiomatisable from GHP, and hence from MTL with one-variable axioms, and that these axioms are, according to us, much more transparent in their reading with respect to the original axiomatisation found in [42]. On the other hand, extending GHP with (RDP) yields a logic properly weaker than RDP, and which is not an extension of WNM.

  • Hierarchical structure and applications of fuzzy logical systems

    2013, International Journal of Approximate Reasoning
  • Axiomatization for 1-level universal AND operator

    2008, Journal of China Universities of Posts and Telecommunications
View all citing articles on Scopus
View full text