Conservative Extension in Relevant Arithmetic

DOI10.1002/MALQ.19860320106MaRDI QIDQ3734362zbMATH OpenOpenAlexFDO

Authors Robert K. Meyer, Igor Urbas

Publication date 1986

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19860320106

zbMATH Keywords

quantified relevant logicrelevant arithmetic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Arithmetic formulated relevantly
• Whither relevant arithmetic?
• Relevance Logic as a Conservative Extension of Classical Logic
• A note on some extension results
• \(\supset\)E is admissible in ``true relevant arithmetic

Cited in

(7)

• \(\supset\)E is admissible in ``true relevant arithmetic
• CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
• Whither relevant arithmetic?
• Robert Meyer's publications on relevant arithmetic
• Relevant arithmetic
• Arithmetic formulated relevantly
• Models of relevant arithmetic

This page was built for publication: Conservative Extension in Relevant Arithmetic

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