Quasi-formal deductive system for fuzzy propositional calculus (Q1373824)

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.