Whither relevant arithmetic?
From MaRDI portal
Publication:4032864
DOI10.2307/2275433zbMath0761.03009MaRDI 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
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
On elimination of quantifiers in some non‐classical mathematical theories, SUBSTITUTION IN RELEVANT LOGICS, Reflections on Orlov, 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
Cites Work