A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Relevant Connexive Logic
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