Some properties of fuzzy reasoning in propositional fuzzy logic systems (Q621597)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some properties of fuzzy reasoning in propositional fuzzy logic systems |
scientific article |
Statements
Some properties of fuzzy reasoning in propositional fuzzy logic systems (English)
0 references
28 January 2011
0 references
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.
0 references
fuzzy reasoning
0 references
propositional fuzzy logic
0 references
generalized root
0 references
deduction theorem
0 references