Core Logic
DOI10.1093/OSO/9780198777892.001.0001zbMATH Open1386.03001OpenAlexW4230715677MaRDI QIDQ5366876FDOQ5366876
Authors: Neil Tennant 
Publication date: 9 October 2017
Published in: Oxford Scholarship Online (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/oso/9780198777892.001.0001
Recommendations
Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Structure of proofs (03F07)
Cited In (23)
- Logical predictivism
- Rule-irredundancy and the sequent calculus for core logic
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
- Automated Deduction – CADE-20
- Cut for core logic
- Which `intensional paradoxes' are paradoxes?
- Frege's class theory and the logic of sets
- Cut for classical core logic
- The relevance of premises to conclusions of core proofs
- Disjunctive syllogism without \textit{ex falso}
- Proof-theoretic semantics: an autobiographical survey
- Core Gödel
- WHAT IS A RULE OF INFERENCE?
- Transmission of verification
- The nature of entailment: an informational approach
- Core Type Theory
- Title not available (Why is that?)
- Why intuitionistic relevant logic cannot be a core logic
- A plea for KR
- Restall's proof-theoretic pluralism and relevance logic
- The original sin of proof-theoretic semantics
- On some mistaken beliefs about core logic and some mistaken core beliefs about logic
- Structural weakening and paradoxes
This page was built for publication: Core Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5366876)
