Relevance Logic as a Conservative Extension of Classical Logic

DOI10.1007/978-94-007-7759-0_17zbMath1311.03045OpenAlexW177462286MaRDI QIDQ5250318

David Makinson

Publication date: 19 May 2015

Published in: David Makinson on Classical Methods for Non-Classical Problems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-7759-0_17

zbMATH Keywords

natural deductionrelevance logicconsequence relationsclosure relationssystem Rprojective constraints

Mathematics Subject Classification ID

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

Related Items (1)

Relevance-Sensitive Truth-Trees

Cites Work

• Whither relevance logic?
• New axiomatics for relevant logics. I
• Handbook of philosophical logic. Vol. 6
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• E, R AND γ
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Relevance Logic as a Conservative Extension of Classical Logic