Relevance Logic as a Conservative Extension of Classical Logic

DOI10.1007/978-94-007-7759-0_17MaRDI QIDQ5250318zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3114382 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 2101978 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3074853 (Why is no real title available?)
• E, R AND γ
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• Handbook of philosophical logic. Vol. 6
• New axiomatics for relevant logics. I
• The connectives
• Whither relevance logic?

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)