Relevant Connexive Logic
Nissim Francez · Logic and Logical Philosophy · 2019
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.