The following pages link to Core Logic (Q5366876):
Displayed 11 items.
- Logical predictivism (Q830365) (← links)
- Restall's proof-theoretic pluralism and relevance logic (Q1706756) (← links)
- Structural weakening and paradoxes (Q1982021) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- A plea for KR (Q2695153) (← links)
- TRANSMISSION OF VERIFICATION (Q5027664) (← links)
- The nature of entailment: an informational approach (Q6088597) (← links)
- Core Gödel (Q6100981) (← links)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161) (← links)
- WHAT IS A RULE OF INFERENCE? (Q6193397) (← links)
- Core Type Theory (Q6200463) (← links)