The following pages link to (Q4795603):
Displaying 6 items.
- \(\supset\)E is admissible in ``true'' relevant arithmetic (Q1272826) (← links)
- Linear arithmetic desecsed (Q2735832) (← links)
- METAVALUATIONS (Q4602434) (← links)
- Assertion, Denial and Non-classical Theories (Q4912986) (← links)
- Arithmetic Formulated Relevantly (Q5019124) (← links)
- SUBSTITUTION IN RELEVANT LOGICS (Q5117597) (← links)