Whither relevant arithmetic?

DOI10.2307/2275433zbMATH Open0761.03009OpenAlexW1977507301MaRDI QIDQ4032864FDOQ4032864

Authors: Harvey M. Friedman, Robert K. Meyer 

Publication date: 1 April 1993

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275433

Recommendations

• Arithmetic formulated relevantly
• \(\supset\)E is admissible in ``true relevant arithmetic
• Relevant arithmetic
• Conservative Extension in Relevant Arithmetic
• Inconsistent models for relevant arithmetics

zbMATH Keywords

relevant logicrelevant Peano arithmetic\(\omega\)-rulequadratic residue formula

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?)
• Conservative Extension in Relevant Arithmetic

Cited In (14)

• SUBSTITUTION IN RELEVANT LOGICS
• \(\supset\)E is admissible in ``true relevant arithmetic
• Situations in which disjunctive syllogism can lead from true premises to a false conclusion
• Reflections on Orlov
• On elimination of quantifiers in some non-classical mathematical theories
• Arithmetic formulated relevantly
• The scope of Gödel's first incompleteness theorem
• Conservative Extension in Relevant Arithmetic
• Models of relevant arithmetic
• When is arithmetic possible?
• AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
• Non-Boolean classical relevant logics. I
• Relevant arithmetic
• The difficulties in using weak relevant logics for naive set theory

This page was built for publication: Whither relevant arithmetic?

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