A poly-connexive logic

DOI10.12775/LLP.2019.022MaRDI QIDQ5006821zbMATH OpenWikidataFDO

Authors Nissim Francez

Publication date 17 August 2021

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/LLP.2019.022

zbMATH Keywords

connexive conjunctionconnexive disjunctionconnexive logicfalsification conditions

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• Towards a bridge over two approaches in connexive logic
• Boolean connexive logics: semantics and tableau approach
• Connexive logics. An overview and current trends
• Connexive Gentzen
• Connexive conditional logic. I

Cites work

• A natural extension of natural deduction
• Connexive modal logic
• scientific article; zbMATH DE number 3162889 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 6407640 (Why is no real title available?)
• Logic: a history of its central concepts
• Negation as cancellation, and connexive logic
• On flattening elimination rules
• Relevant connexive logic
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony

Cited in

(27)

• Variable sharing in connexive logic
• Poly-connexivity: connexive conjunction and disjunction
• An analysis of poly-connexivity
• Connexive logics. An overview and current trends
• Relevant connexive logic
• Boolean connexive logics: semantics and tableau approach
• Towards a bridge over two approaches in connexive logic
• Connexive Gentzen
• Connexive modal logic based on positive S4
• scientific article; zbMATH DE number 1414360 (Why is no real title available?)
• scientific article; zbMATH DE number 6307924 (Why is no real title available?)
• Peirce's triadic logic and its (overlooked) connexive expansion
• On the role of Aristotle's connexive axioms in non-connexive logics
• SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION
• On connegation
• Modal Boolean connexive logics: semantics and tableau approach
• Connected modal logics
• A glimpse into higher-order connexive logics
• Connexive logic, connexivity, and connexivism: remarks on terminology
• Connexive negation
• An infinity of intuitionistic connexive logics
• A Variant of Material Connexive Logic
• Dunn semantics for contra-classical logics
• Negation-cohesive connectives: a generalization of connexivity
• Connexive logic: new old challenges
• Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation
• An easy road to multi-contra-classicality

This page was built for publication: A poly-connexive logic

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