Whither relevant arithmetic?

DOI10.2307/2275433MaRDI QIDQ4032864zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 4117898 (Why is no real title available?)
• Conservative Extension in Relevant Arithmetic

Cited in

(14)

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

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)