Relevance Logic as a Conservative Extension of Classical Logic

DOI10.1007/978-94-007-7759-0_17zbMATH Open1311.03045OpenAlexW177462286MaRDI QIDQ5250318FDOQ5250318

Authors: 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

Recommendations

• A pretabular classical relevance logic
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• Relevance for the classical logician
• Relevance logics and intuitionistic negation
• scientific article; zbMATH DE number 1028818
• Combining classical logic, paraconsistency and relevance
• Tarskian Classical Relevant Logic
• A second pretabular classical relevance logic
• Conservative extensions in modal logic
• RELEVANCE LOGICS AND RELATION ALGEBRAS

zbMATH Keywords

consequence relationsnatural deductionrelevance logicclosure relationssystem Rprojective constraints

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• The connectives
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• E, R AND γ
• New axiomatics for relevant logics. I
• Whither relevance logic?
• Handbook of philosophical logic. Vol. 6
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• Whither relevance logic?
• The classical constraint on relevance
• The concept of relevance and the logic diagram tradition
• Conservative Extension in Relevant Arithmetic
• CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
• Relevance-Sensitive Truth-Trees
• A new approach to classical relevance

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

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