Pages that link to "Item:Q1873678"
From MaRDI portal
The following pages link to A triangular-norm-based propositional fuzzy logic (Q1873678):
Displaying 22 items.
- Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\) (Q506104) (← links)
- Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) (Q622081) (← links)
- NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL (Q703374) (← links)
- A fuzzy logic for an ordinal sum t-norm (Q703375) (← links)
- A new theory consistency index based on deduction theorems in several logic systems (Q812631) (← links)
- Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) (Q835272) (← links)
- Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems (Q853469) (← links)
- Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic) (Q855815) (← links)
- Disjunctive elimination rule and its application in MTL (Q869116) (← links)
- A fuzzy logic for the revised drastic product t-norm. (Q877760) (← links)
- Efficient triangular type-2 fuzzy logic systems (Q962899) (← links)
- The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system) (Q988221) (← links)
- Quantitative logic (Q1007841) (← links)
- A triangular norm-based fuzzy predicate logic (Q1406864) (← links)
- On equivalent forms of fuzzy logic systems NM and IMTL (Q1406865) (← links)
- A characterization of truth-functions in the nilpotent minimum logic (Q1885724) (← links)
- On triangular norm-based propositional fuzzy logics (Q1914464) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- On the scope of some formulas defining additive connectives in fuzzy logics (Q2386240) (← links)
- Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space (Q2457027) (← links)
- Undefinability of min-conjunction in MTL (Q2492317) (← links)
- Involutive monoidalt-norm based logic andR0 logic (Q3156897) (← links)
