On the logic foundation of fuzzy reasoning

03B52: Fuzzy logic; logic of vagueness

68T37: Reasoning under uncertainty in the context of artificial intelligence

Related Items

Mathematical foundation of basic algorithms of fuzzy reasoning, Triple I method and interval valued fuzzy reasoning, A theorem about infinite-valued sentential logic, On lower separation and regularity axioms in fuzzy topological spaces, Some properties of fuzzy reasoning in propositional fuzzy logic systems, Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras), New types of fuzzy filters of BL-algebras, A fuzzy logic for an ordinal sum t-norm, Decomposition and resolution of min-implication fuzzy relation equations based on S-implications, Robustness of fuzzy operators in environments with random perturbations, A 16-classification partition of formula set \(F(S)\) in revised Kleene system \(\overline W\), Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic), Reverse triple I method of fuzzy reasoning, Theory of generalized tautology in revised Kleene system, Generalizations of \((\in,\in\vee q)\)-fuzzy filters in \(R_0\)-algebras., Erratum to: ``Notes on triple I method of fuzzy reasoning, Some kinds of \((\overline{\in},\overline{\in}\vee\overline q)\)-fuzzy filters of \(BL\)-algebras, Soft \(BL\)-algebras based on fuzzy sets, The generalized truth degree of quantitative logic in the logic system \(\mathcal L_n^*\) (\(n\)-valued NM-logic system), Some types of generalized fuzzy filters of BL-algebras, Quantitative logic, The extended alpha-triple I algorithm based on the generalized implication operator, Domain semantics of possibility computations, On (\(\in,\in \vee q\))-fuzzy filters of BL-algebras, On equivalent forms of fuzzy logic systems NM and IMTL, The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness., Formalized theory of general fuzzy reasoning., Non-fuzzy versions of fuzzy reasoning in classical logics, Approximation theory of fuzzy systems based upon genuine many-valued implications -- SISO cases, Approximation theory of fuzzy systems based upon genuine many-valued implications -- MIMO cases, \(R _{0}\) implication: Characteristics and applications, Integrated semantics and logic metric spaces, Robustness of fuzzy reasoning via logically equivalence measure, Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space, Reverse triple I method of fuzzy reasoning for the implication operator \(R_{L}\), Fuzzy linear optimization in the presence of the fuzzy relation inequality constraints with max-min composition, Unified full implication algorithms of fuzzy reasoning, Fuzzy reasoning based on a new fuzzy rough set and its application to scheduling problems, The \(R_0\)-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens, Fuzzy implicative and Boolean filters of \(R_{0}\) algebras, Simplification and independence of axioms of fuzzy logic systems IMTL and NM, Interpreting and extracting fuzzy decision rules from fuzzy information systems and their inference, Approximation theorem of the fuzzy transform in fuzzy reasoning and its application to the scheduling problem, Theory of truth degrees of propositions in the logic system \(L_{n}^{*}\), Generalized fuzzy filters of \(R_{0}\)-algebras, On (∈, ∈ ∨ q)-fuzzy filters ofR₀-algebras

Cites Work