Quasi-formal deductive system for fuzzy propositional calculus
Without any reference to many-valued logic or to current developments in fuzzy logic, the author introduces a system of \([0,1]\)-valued propositional logic with negation, disjunction, and implication. The standard semantics is given together with a (sound) system of axioms. There is, however, no discussion toward completeness. The paper is a reaction of the infamous Elkan paper of 1994 [\textit{C. Elkan}, ``The paradoxical success of fuzzy logic, IEEE Expert 9, No. 4, 3-8 (1994)], itself however nothing as a reinvention of the wheel.
- A fuzzy similarity inference method for fuzzy reasoning
- Probability representations of fuzzy systems
- Algebraic structures related to nilpotent minimum algebras and rough sets
- scientific article; zbMATH DE number 4152343 (Why is no real title available?)
- Theory of \(M\)-system
- scientific article; zbMATH DE number 6795355 (Why is no real title available?)
- scientific article; zbMATH DE number 2219576 (Why is no real title available?)
This page was built for publication: Quasi-formal deductive system for fuzzy propositional calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1373824)