Abstract
Connexive logic contains propositional theses such as NCpNp and CCpqNCpNq that are false in two-valued logic. It derives from remarks made by Sextus Empiricus in the fourth century B.C. The logic of causal and subjunctive conditionals is also connexive, since ‘If X is dropped, it will hit the floor’ contradicts ‘If X is dropped, it will not hit the floor’. In the paper below, a Gentzen Sequenzenkalkul formulation of connexive logic is constructed, and a proof is given of the elimination theorem.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
