scientific article; zbMATH DE number 1790412

MaRDI QIDQ4549477zbMATH OpenFDO

Authors Esko Turunen

Publication date 6 March 2003

zbMATH Keywords

fuzzy logicMV-algebrasresiduated latticesŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) MV-algebras (06D35) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Review text

In this article the author describes a very simple system of fuzzy propositional logic based on a complete MV-algebra. Definitions and theorems are illustrated with examples taken from natural language. The reader can find several basic results from the theory of residuated lattices. One of them is the incompleteness theorem for fuzzy propositional logic, which states that if some fuzzy logic is built upon a residuated lattice which is not a complete MV-algebra, then there exists in the given logic a non-axiomatizable fuzzy theory \(T\) for which the operations of fuzzy semantical and fuzzy syntactical consequence are not equivalent. With this and other theorems the author proves the sufficiency of MV-algebras for fuzzy reasoning under uncertainty. For the entire collection see [Zbl 0979.00015].

Recommendations

• scientific article; zbMATH DE number 3891332
• Well‐Defined Fuzzy Sentential Logic
• Some properties of fuzzy reasoning in propositional fuzzy logic systems
• Mathematics behind fuzzy logic
• Fuzzy equational logic

Cited in

(21)

• Fundamentals of Fuzzy Prolog
• Rules of inference in fuzzy sentential logic
• Fuzzy logic or Lukasiewicz logic: A clarification
• A qualitative fuzzy possibilistic logic
• Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
• Extended fuzzy constructive logic
• scientific article; zbMATH DE number 3891332 (Why is no real title available?)
• scientific article; zbMATH DE number 4152343 (Why is no real title available?)
• scientific article; zbMATH DE number 1164050 (Why is no real title available?)
• Pavelka-style fuzzy justification logics
• scientific article; zbMATH DE number 1383827 (Why is no real title available?)
• Well‐Defined Fuzzy Sentential Logic
• scientific article; zbMATH DE number 7113425 (Why is no real title available?)
• scientific article; zbMATH DE number 6795355 (Why is no real title available?)
• Rough Sets and Current Trends in Computing
• Substructural fuzzy logics
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Fuzzy equational logic
• A fuzzy proof theory
• Fuzzy constructive logic
• Logical structure of fuzzy IF-THEN rules

This page was built for publication:

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