Connexive arithmetic formulated relevantly

Cano-Jorge, Fernando; Luis Estrada-González

doi:10.1093/jigpal/jzaf052

Connexive arithmetic formulated relevantly

Journal

Logic Journal of the IGPL

ISSN

1367-0751

1368-9894

Publisher

Oxford University Press

Date Issued

2025

Author(s)

Cano-Jorge, Fernando

Facultad de Filosofía - CampCM

Luis Estrada-González

Type

text::journal::journal article

DOI

10.1093/jigpal/jzaf052

URL

https://scripta.up.edu.mx/handle/20.500.12552/12732

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, cRM3⁠, cRM⁠, cRMn⁠, and cRM⁠. We compare these with their counterparts RM3⁠, RM and that extend relevant arithmetic. ©The authors ©Oxford University Press.

Subjects

Arithmetic

Relevantly

License

Acceso Abierto

URL License

https://creativecommons.org/licenses/by-nc-sa/4.0/

How to cite

Fernando Cano-Jorge, Luis Estrada-González, Connexive arithmetic formulated relevantly, Logic Journal of the IGPL, Volume 34, Issue 1, February 2026, jzaf052, https://doi.org/10.1093/jigpal/jzaf052