Pages that link to "Item:Q1873678"

The following pages link to A triangular-norm-based propositional fuzzy logic (Q1873678):

Displaying 17 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)
• 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)
• A characterization of truth-functions in the nilpotent minimum logic (Q1885724) (← 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)