Connexive arithmetic formulated relevantly

DOI10.1093/JIGPAL/JZAF052MaRDI QIDQ6880902zbMATH OpenFDO

Authors Fernando Cano-Jorge, Luis Estrada González

Publication date 18 December 2025

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAF052

zbMATH Keywords

connexive logicinconsistent mathematicsinconsistent modelsmodular arithmeticrelevant arithmeticRM3

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• A view of connexive logics
• An extension of connexive logic C
• An introduction to non-classical logic. From if to is
• Aristotle's thesis in consistent and inconsistent logics
• Connexive implication
• Connexive modal logic
• Connexivity meets Church and Ackermann
• Dummett's theory of truth as a source of connexivity
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• Inconsistent models (and infinite models) for arithmetics with constructible falsity
• Inconsistent models for relevant arithmetics
• Logic: a history of its central concepts
• Mortensen logics
• Negated implications in connexive relevant logics
• On systems containing Aristotle's thesis
• Relevant connexive logic
• SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION
• Some useful 16-valued logics: How a computer network should think

This page was built for publication: Connexive arithmetic formulated relevantly

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6880902)