Whither relevant arithmetic?

DOI10.2307/2275433zbMath0761.03009OpenAlexW1977507301MaRDI QIDQ4032864

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)

Related Items

AXIOMS FOR FINITE COLLAPSE MODELS OF 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, SUBSTITUTION IN RELEVANT LOGICS, Non-Boolean classical relevant logics. I, The Difficulties in Using Weak Relevant Logics for Naive Set Theory, The scope of Gödel's first incompleteness theorem, \(\supset\)E is admissible in ``true relevant arithmetic

Cites Work

• Conservative Extension in Relevant Arithmetic
• Unnamed Item