Quasi-formal deductive system for fuzzy propositional calculus (Q1373824)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quasi-formal deductive system for fuzzy propositional calculus |
scientific article |
Statements
Quasi-formal deductive system for fuzzy propositional calculus (English)
0 references
25 November 1997
0 references
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.
0 references
many-valued logic
0 references
fuzzy logic
0 references