A note on a deductive scheme of Dummett in classical and fuzzy logics (Q2450636)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A note on a deductive scheme of Dummett in classical and fuzzy logics |
scientific article |
Statements
A note on a deductive scheme of Dummett in classical and fuzzy logics (English)
0 references
14 May 2014
0 references
The authors consider the argument-by-cases schema, i.e., \(B\) is entailed by \(A\to B\) and \(\sim\! A \to B\), leaving the definition of the conditional \(\to\) essentially free. They discuss conditions under which this entailment becomes valid, assuming that the truth degree structures are Boolean algebras, De Morgan algebras, orthomodular lattices, or fuzzy set related bisemigroups.
0 references
argument by cases
0 references
conditional operators
0 references
classical logic
0 references
fuzzy logic
0 references
quantum logic
0 references
