CRIS
Permanent URI for this communityhttps://scripta.up.edu.mx/handle/20.500.12552/1
Browse
2 results
Search Results
Now showing 1 - 2 of 2
- Some of the metrics are blocked by yourconsent settings
Item type:Publication, Connexive arithmetic formulated relevantlyFollowing 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. - Some of the metrics are blocked by yourconsent settings
Item type:Publication,