Relevant Connexive Logic

DOI10.12775/LLP.2019.007zbMath1458.03019WikidataQ128470145 ScholiaQ128470145MaRDI QIDQ3387887

Nissim Francez

Publication date: 8 January 2021

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

zbMATH Keywords

natural deductionaxiomatic systemconnexive logicconnexive extension of relevance logic

Mathematics Subject Classification ID

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

Related Items (5)

SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION ⋮ Angell and McCall meet Wansing ⋮ Variable sharing in connexive logic ⋮ A Poly-Connexive Logic ⋮ Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• Logic: a history of its central concepts
• Simple consequence relations
• Whither relevance logic?
• The first axiomatization of relevant logic
• Handbook of philosophical logic. Vol. 6
• Negation as cancellation, and connexive logic
• Gentzen's Proof Systems: Byproducts in a Work of Genius
• Relevance and Conjunction

This page was built for publication: Relevant Connexive Logic