Relevant Connexive Logic

Nissim Francez
2019 Logic and Logical Philosophy  
In this paper, a connexive extension of the relevance logic R→ was presented. It is defined by means of a natural deduction system, and a deductively equivalent axiomatic system is presented too. The goal of such an extension is to produce a logic with stronger connection between the antecedent and the consequent of an implication.
doi:10.12775/llp.2019.007 fatcat:rzwj5b2wrvcmlfpizx2sqosooq