Aristotle's thesis in consistent and inconsistent logics (Q1079561)

A typical theorem of connexive logics is Aristotle's thesis \({\mathcal A}:\) \(\sim (A\to \sim A)\). \({\mathcal A}\) cannot be added to classical logic without producing a trivial post-inconsistent logic. This paper gives sufficient conditions for a logic containing \({\mathcal A}\) to be inconsistent and then shows that there is a class of inconsistent nontrivial logics all containing \({\mathcal A}\); a semantical modelling for \({\mathcal A}\) in such logics is given.