The following pages link to CUT FOR CORE LOGIC (Q2919946):
Displaying 12 items.
- A new approach to classical relevance (Q497418) (← links)
- On some mistaken beliefs about core logic and some mistaken core beliefs about logic (Q1633896) (← links)
- Anything goes (Q1708461) (← links)
- Non-reflexivity and revenge (Q2078982) (← links)
- Burali-Forti as a purely logical paradox (Q2281317) (← links)
- FREGE MEETS BROUWER (OR HEYTING OR DUMMETT) (Q3195590) (← links)
- THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS (Q3459088) (← links)
- Aristotle's Syllogistic and Core Logic (Q4983351) (← links)
- TRANSMISSION OF VERIFICATION (Q5027664) (← links)
- CUT FOR CLASSICAL CORE LOGIC (Q5259721) (← links)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161) (← links)
- WHAT IS A RULE OF INFERENCE? (Q6193397) (← links)
