Core Logic

DOI10.1093/OSO/9780198777892.001.0001MaRDI QIDQ5366876zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

computational logicconstructivizationcore logicrelevant intuitionistic reasoningrelevantization.

Mathematics Subject Classification ID

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)

Recommendations

• scientific article; zbMATH DE number 605246
• Total logic
• scientific article; zbMATH DE number 1249683
• Logic
• scientific article; zbMATH DE number 1027922
• Logic
• Cut for core logic
• Core Gödel

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
• The relevance of premises to conclusions of core proofs
• Which `intensional paradoxes' are paradoxes?
• Cut for classical core logic
• Frege's class theory and the logic of sets
• Disjunctive syllogism without \textit{ex falso}
• Proof-theoretic semantics: an autobiographical survey
• Core Gödel
• Transmission of verification
• WHAT IS A RULE OF INFERENCE?
• The nature of entailment: an informational approach
• Core Type Theory
• scientific article; zbMATH DE number 605246 (Why is no real title available?)
• 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)