Rules of inference in fuzzy sentential logic

DOI10.1016/0165-0114(95)00324-XMaRDI QIDQ1267518zbMATH OpenOpenAlexFDO

Authors Esko Turunen

Publication date 22 February 1999

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0165-0114(95)00324-x

zbMATH Keywords

degree of deductiondegree of validityfuzzy rules of inferencefuzzy sentential logicsMV-algebrasemantical completeness

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Review text

The aim of this study is to introduce some fuzzy rules of inference. Each of them has a counterpart in classical logic. We consider injective MV-algebra valued fuzzy sentential logics as these fuzzy inference systems are proved to be semantically complete [cf. \textit{E. Turunen}, Math. Log. Q. 41, No. 2, 236-248 (1995; Zbl 0829.03011)]. It is of special importance to realize that in the unit interval the only semantically complete fuzzy sentential logics are the injective MV-algebra valued fuzzy logics. It is well known that any nilpotent Archimedean T-norm generates an injective MV-algebra; moreover, injective MV-algebras in the unit interval are exactly the structures isomorphic with the Łukasiewicz MV-algebra. We follow \textit{J. Pavelka} [Z. Math. Logik Grundlagen Math. 25, 45-52, 119-134, 447-464 (1979; Zbl 0435.03020, Zbl 0446.03015, Zbl 0446.03016)] and define a fuzzy rule of inference as consisting of two components. The first component operates on formulae and is, in fact, a rule of inference in the usual sense; the second component operates on truth values and says how the truth value of the conclusion is to be computed from the truth values of the premises such that the degree of truth is preserved. After recollecting and proving some necessary algebraic definitions and results, we introduce several new fuzzy rules of inference and give a practical example of how to use them. The advantage of our approach is the semantical completeness of our logic; the degree of validity of any formula coincides with the degree of deduction of the formula.

Recommendations

• scientific article; zbMATH DE number 1356164
• scientific article; zbMATH DE number 3869306
• scientific article; zbMATH DE number 3902625
• FUZZY REASONING UNDER NEW COMPOSITIONAL RULES OF INFERENCE
• Well‐Defined Fuzzy Sentential Logic
• STRONG TRUTH AND RULES OF INFERENCE IN FUZZY LOGIC AND APPROXIMATE REASONING
• Fuzzy inference in a formal theory of semantic equivalence
• Fuzzy propositional logic
• scientific article; zbMATH DE number 1790412
• Logical structure of fuzzy IF-THEN rules

Cites work

• Algebraic Analysis of Many Valued Logics
• scientific article; zbMATH DE number 3887682 (Why is no real title available?)
• scientific article; zbMATH DE number 12947 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• Prime deductive systems and injective objects in the algebras of Łukasiewicz infinite-valued calculi
• Semi-simple and complete MV-algebras
• Well‐Defined Fuzzy Sentential Logic

Cited in

(8)

• Fuzzy quantifiers in syllogisms, direct versus inverse computations
• Inference in a multivalued logic system
• Well‐Defined Fuzzy Sentential Logic
• scientific article; zbMATH DE number 1396179 (Why is no real title available?)
• On lifting quasi-filters and strong lifting quasi-filters in MV-algebras
• On redundancies in systems of fuzzy/linguistic IF-THEN rules under perception-based logical deduction inference
• Logical structure of fuzzy IF-THEN rules
• Reasonableness of the compositional rule of fuzzy inference

This page was built for publication: Rules of inference in fuzzy sentential logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1267518)