A triangular-norm-based propositional fuzzy logic

DOI10.1016/S0165-0114(02)00143-4zbMath1030.03022OpenAlexW2031659660WikidataQ59306592 ScholiaQ59306592MaRDI QIDQ1873678

Bao-Shu Wang, San-min Wang, Wang, Guojun

Publication date: 27 May 2003

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0165-0114(02)00143-4

zbMATH Keywords

fuzzy logiccompletenesstriangular norm

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items (17)

A characterization of truth-functions in the nilpotent minimum logic ⋮ Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) ⋮ Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems ⋮ On the scope of some formulas defining additive connectives in fuzzy logics ⋮ Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic) ⋮ Disjunctive elimination rule and its application in MTL ⋮ A fuzzy logic for the revised drastic product t-norm. ⋮ Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) ⋮ A triangular norm-based fuzzy predicate logic ⋮ Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space ⋮ Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\) ⋮ NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL ⋮ A fuzzy logic for an ordinal sum t-norm ⋮ Undefinability of min-conjunction in MTL ⋮ The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system) ⋮ Quantitative logic ⋮ A new theory consistency index based on deduction theorems in several logic systems

Cites Work

• Unnamed Item
• Unnamed Item
• Mathematics behind fuzzy logic
• The use of fuzzy outranking relations in preference modelling
• A survey on different triangular norm-based fuzzy logics
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A formal deductive system for fuzzy propositional calculus
• Contrapositive symmetry of fuzzy implications
• Fragments of Many-Valued Statement Calculi

This page was built for publication: A triangular-norm-based propositional fuzzy logic