Connexive logic: new old challenges

DOI10.1093/JIGPAL/JZAF001MaRDI QIDQ6893399zbMATH OpenFDO

Authors Fernando Cano-Jorge, Luis Estrada González

Publication date 26 November 2025

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

Mathematics Subject Classification ID

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

Cites work

• A Critical Examination of the Historical Origins of Connexive Logic
• A Note on Negation in Categorial Grammar
• A poly-connexive logic
• A simple way to overcome hyperconnexivity
• A study of two dialectical logics
• A Variant of Material Connexive Logic
• A view of connexive logics
• An analysis of poly-connexivity
• Axiomatization of some basic and modal Boolean connexive logics
• Boethius' thesis and conditional logic
• Boolean connexive logic and content relationship
• Boolean connexive logics: semantics and tableau approach
• Classical logic is connexive
• Connexive extensions of regular conditional logic
• Connexive implication
• Connexive logic, connexivity, and connexivism: remarks on terminology
• Connexive modal logic
• Connexive negation
• Consistent theories in inconsistent logics
• Constructive negation, implication, and co-implication
• Contenability and the Logic of Consequential Implication
• Decision procedures for logics of consequential implication
• Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic
• Executability and connexivity in an interpretation of Griss
• From depth relevance to connexivity
• From paraconsistent logic to dialetheic logic
• scientific article; zbMATH DE number 4142013 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 1361531 (Why is no real title available?)
• scientific article; zbMATH DE number 937392 (Why is no real title available?)
• Intensional relations.
• Kapsner complementation: an algebraic take on Kapsner strong logics
• Leibniz's laws of consistency and the philosophical foundations of connexive logic
• Logic: a history of its central concepts
• Modal Boolean connexive logics: semantics and tableau approach
• Negated implications in connexive relevant logics
• Negation as cancellation, and connexive logic
• Negation as cancellation, connexive logic, and qLPm
• On three logical principles in intension.
• Poly-connexivity: connexive conjunction and disjunction
• Relevant connexive logic
• Revisiting Reichenbach's logic
• Rewriting the history of connexive logic
• SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION
• Strong Boethius' thesis and consequential implication
• Symbolic logic.
• The logic of conditional negation
• Variable sharing in connexive logic
• Weakened semantics and the traditional square of opposition

Cited in

(1)

• Bilateral labeled sequent calculi

This page was built for publication: Connexive logic: new old challenges

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