Aristotle's Thesis between paraconsisten
β
Claudio Pizzi
π
Article
π
2005
π
Elsevier Science
π
English
β 137 KB
If the arrow β stands for classical relevant implication, Aristotle's Thesis Β¬(A β Β¬A) is inconsistent with the Law of Simplification (A β§ B) β B accepted by relevantists, but yields an inconsistent non-trivial extension of the system of entailment E. Such paraconsistent extensions of relevant logic