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

\(\omega\)-rulequadratic residue formularelevant logicrelevant Peano arithmetic

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

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

Cited in

(20)

• Situations in which disjunctive syllogism can lead from true premises to a false conclusion
• \(\supset\)E is admissible in ``true relevant arithmetic
• The scope of Gödel's first incompleteness theorem
• Non-Boolean classical relevant logics. I
• AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
• The difficulties in using weak relevant logics for naive set theory
• Conservative Extension in Relevant Arithmetic
• Relevant arithmetic
• Arithmetic formulated relevantly
• Models of relevant arithmetic
• On elimination of quantifiers in some non-classical mathematical theories
• SUBSTITUTION IN RELEVANT LOGICS
• Reflections on Orlov
• -admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting
• Relevant rational arithmetic
• Frege meets Belnap: Basic Law V in a relevant logic
• Critical math kinds: a framework for the philosophy of alternative mathematics
• Towards a feminist arithmetic
• Two decades of non-classical mathematics: introduction to the special issue
• When is arithmetic possible?

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)