On Relevant Acceptable Strictly Connexive Logics
摘要
A logic is relevant if it is a set of formulas closed under adjunction, modus ponens and enjoys the variable sharing property. It is connexive if it has some or all of the versions of Aristotle’s thesis and Boethius’ thesis. It is connexively acceptable if it does not sanction such formulas as the negation of the self-identity axiom. Finally, it is strictly connexive if it does not validate some formula implying (or being implied by) its own negation. Now, it is known that addition of Aristotle’s thesis to a relevant logic does not necessarily result in an acceptable connexive logic. Then, the aim of this paper is to examine the prospects of defining relevant acceptable strictly connexive logics based upon weak relevant logics.