Some properties of fuzzy reasoning in propositional fuzzy logic systems (Q621597)

The paper studies fuzzy reasoning in some propositional fuzzy logic systems. A new type of root, called generalized root, is defined in the following propositional logics: Łukasiewicz, Gödel, Product, and \(R_0\); for every of these logics, the structure of \(D(\Gamma)\) (the set of all conclusions of the theory \(\Gamma\)) and the relations ``\(\subseteq\)'' and ``\(=\)'' between two conclusion sets \(D(\Gamma_1)\) and \(D(\Gamma_2)\), for different theories \(\Gamma_1\) and \(\Gamma_2\), are studied. An important result (Theorem 4) is that ``every finite theory has a generalized root''. Another part of the paper gives definitions and expressions for the Triple \(I_2\) solutions of Generalized Modus Ponens (GMP) and Collective Generalized Modus Ponens (CGMP) in the following fuzzy logics: \(n\)-valued Łukasiewicz, \(R_0\), and Gödel. Semantic-type Triple \(I_2\) solutions of GMP and CGMP (for the previous logics) and some examples are given in the last part of the paper.