Relevant connexive logic

DOI10.12775/LLP.2019.007MaRDI QIDQ3387887zbMATH OpenWikidataFDO

Authors Nissim Francez

Publication date 8 January 2021

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

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

zbMATH Keywords

axiomatic systemconnexive extension of relevance logicconnexive logicnatural deduction

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• scientific article; zbMATH DE number 1414360
• Connexive logics. An overview and current trends
• A poly-connexive logic
• scientific article; zbMATH DE number 2101978
• Connexive restricted quantification

Cites work

• Connexive modal logic
• Gentzen's proof systems: byproducts in a work of genius
• Handbook of philosophical logic. Vol. 6
• 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 972605 (Why is no real title available?)
• Logic: a history of its central concepts
• Negation as cancellation, and connexive logic
• Relevance and conjunction
• Simple consequence relations
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• The first axiomatization of relevant logic
• Whither relevance logic?

Cited in

(21)

• Variable sharing in connexive logic
• Relating semantics for connexive logic
• Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic
• What is a relevant connective?
• scientific article; zbMATH DE number 48206 (Why is no real title available?)
• scientific article; zbMATH DE number 1749198 (Why is no real title available?)
• scientific article; zbMATH DE number 1414360 (Why is no real title available?)
• Propositional logic extended with a pedagogically useful relevant implication
• A poly-connexive logic
• A view of connexive logics
• SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION
• Dialogical connexive logic
• Angell and McCall meet Wansing
• Connexivity meets Church and Ackermann
• Connexive arithmetic formulated relevantly
• Connexive logic: new old challenges
• Relevant semantics for connexive logics
• A note on contradictions in Francez-Weiss logics
• Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation
• Variable-sharing as relevance
• Conceptual (and hence mathematical) explanation, conceptual grounding and proof

This page was built for publication: Relevant connexive logic

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