Pages that link to "Item:Q1406865"

The following pages link to On equivalent forms of fuzzy logic systems NM and IMTL (Q1406865):

Displaying 44 items.

• Fuzzy prime Boolean filters and their operations in IMTL-algebras (Q376765) (← links)
• Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices (Q377479) (← links)
• Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras (Q409741) (← links)
• States on finite linearly ordered IMTL-algebras (Q416275) (← links)
• Generalized Bosbach and Riečan states based on relative negations in residuated lattices (Q427915) (← links)
• Formalization of implication based fuzzy reasoning method (Q448954) (← links)
• A survey of fuzzy implication algebras and their axiomatization (Q459041) (← links)
• Characterizations of fuzzy ideals in coresiduated lattices (Q504690) (← links)
• Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\) (Q506104) (← links)
• The quintuple implication principle of fuzzy reasoning (Q527212) (← links)
• States on finite monoidal t-norm based algebras (Q543823) (← links)
• Some properties of fuzzy reasoning in propositional fuzzy logic systems (Q621597) (← 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 16-classification partition of formula set \(F(S)\) in revised Kleene system \(\overline W\) (Q816878) (← links)
• Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) (Q835272) (← links)
• Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic) (Q855815) (← links)
• On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras (Q931448) (← links)
• States on \(R_{0}\) algebras (Q937268) (← links)
• An axiomatic approach of fuzzy rough sets based on residuated lattices (Q980104) (← links)
• The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system) (Q988221) (← links)
• On filter theory of residuated lattices (Q991899) (← links)
• A semantic study of the first-order predicate logic with uncertainty involved (Q1794483) (← links)
• The lattice of prefilters of an EQ-algebra (Q2013846) (← links)
• Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem (Q2267005) (← links)
• Some weaker versions of topological residuated lattices (Q2329013) (← links)
• EQ-algebras from the point of view of generalized algebras with fuzzy equalities (Q2351584) (← links)
• Hierarchical structure and applications of fuzzy logical systems (Q2353966) (← links)
• Computational complexities of axiomatic extensions of monoidal t-norm based logic (Q2391235) (← links)
• Triple I method of approximate reasoning on Atanassov's intuitionistic fuzzy sets (Q2453620) (← links)
• Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space (Q2457027) (← links)
• Unified full implication algorithms of fuzzy reasoning (Q2466110) (← links)
• Topology on the set of \(R_{0}\) semantics for \(R_{0}\) algebras (Q2476655) (← links)
• The \(R_0\)-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens (Q2483068) (← links)
• Simplification and independence of axioms of fuzzy logic systems IMTL and NM (Q2486056) (← links)
• On a category of fuzzy automata with relations (Q2987869) (← links)
• Prime fuzzy (implicative) MP-filters of R0-algebras (Q2987904) (← links)
• Algebraic structures related to nilpotent minimum algebras and rough sets1 (Q2988475) (← links)
• On triangular norm based axiomatic extensions of the weak nilpotent minimum logic (Q3520229) (← links)
• Boolean products of R0-algebras (Q3566947) (← links)
• STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES (Q4553369) (← links)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
• PROPERTY ANALYSIS OF TRIPLE IMPLICATION METHOD FOR APPROXIMATE REASONING ON ATANASSOVS INTUITIONISTIC FUZZY SETS (Q4626591) (← links)
• Several types of filters related to the Stonean axiom in residuated lattices (Q5275916) (← links)