Connexive arithmetic formulated relevantly

Abstract Following the strategy in [15] to develop inconsistent models for relevant arithmetics, we formulate a connexive variant of arithmetic by replacing the conditional of RM3 with the Belikov–Loginov conditional. We obtain thus the connexive logic cRM3 which serves as a base logic for arithmetics cRM3$^{i}$, cRM3$^{i\sharp }$, cRM$^{\sharp }$, cRMn$^{i}$, and cRM$^\omega $. We compare these with their counterparts RM3$^{i\sharp }$, RM$^{\sharp }$ and $\mathbf{RM}^\omega$ that extend relevant arithmetic $\mathbf{R}^\sharp$.