Quasi-formal deductive system for fuzzy propositional calculus (Q1373824): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf02882835 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3148090786 / rank | |||
Normal rank |
Latest revision as of 10:30, 30 July 2024
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