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.
- NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms
- A fuzzy logic for the revised drastic product t-norm.
- Ordinal sums of the main classes of fuzzy negations and the natural negations of t-norms, t-conorms and fuzzy implications
- A proof of standard completeness for Esteva and Godo's logic MTL
- A survey on different triangular norm-based fuzzy logics
- A triangular-norm-based propositional fuzzy logic
- Contrapositive symmetry of fuzzy implications
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On the logic foundation of fuzzy reasoning
- The L and L 12 logics: Two complete fuzzy systems joining Łukasiewicz and product logics
- The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
- Free weak nilpotent minimum algebras
- Expanding basic fuzzy logic with truth constants for component delimiters
- Distributivity of \(N\)-ordinal sum fuzzy implications over \(t\)-norms and \(t\)-conorms
- Ordinal sums of the main classes of fuzzy negations and the natural negations of t-norms, t-conorms and fuzzy implications
- Hierarchical structure and applications of fuzzy logical systems
- On the scope of some formulas defining additive connectives in fuzzy logics
- Undefinability of min-conjunction in MTL
- scientific article; zbMATH DE number 5992091 (Why is no real title available?)
- scientific article; zbMATH DE number 7028676 (Why is no real title available?)
- NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
- Normal forms and free algebras for some extensions of MTL
- A fuzzy logic for the revised drastic product t-norm.
This page was built for publication: A fuzzy logic for an ordinal sum t-norm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q703375)
