The following pages link to Whither relevant arithmetic? (Q4032864):
Displayed 9 items.
- Situations in which disjunctive syllogism can lead from true premises to a false conclusion (Q1130236) (← links)
- \(\supset\)E is admissible in ``true'' relevant arithmetic (Q1272826) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Non-Boolean classical relevant logics. I (Q2695399) (← links)
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC (Q3195589) (← links)
- The Difficulties in Using Weak Relevant Logics for Naive Set Theory (Q3305672) (← links)
- On elimination of quantifiers in some non‐classical mathematical theories (Q5109215) (← links)
- SUBSTITUTION IN RELEVANT LOGICS (Q5117597) (← links)
- Reflections on Orlov (Q6098652) (← links)