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

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Subsystems of classical logic (including intuitionistic logic) (03B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other nonclassical logic (03B60) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) 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

(44)

• On some mistaken beliefs about core logic and some mistaken core beliefs about logic
• Restall's proof-theoretic pluralism and relevance logic
• Structural weakening and paradoxes
• Why intuitionistic relevant logic cannot be a core logic
• The original sin of proof-theoretic semantics
• A plea for KR
• Cut for core logic
• The relevance of premises to conclusions of core proofs
• scientific article; zbMATH DE number 605246 (Why is no real title available?)
• Transmission of verification
• Cut for classical core logic
• Automated Deduction – CADE-20
• Rule-irredundancy and the sequent calculus for core logic
• The nature of entailment: an informational approach
• Core Gödel
• TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
• WHAT IS A RULE OF INFERENCE?
• Core Type Theory
• Which `intensional paradoxes' are paradoxes?
• Proof-theoretic semantics: an autobiographical survey
• Frege's class theory and the logic of sets
• Disjunctive syllogism without \textit{ex falso}
• On the non-substantiality of logic: a case study
• A normal paradox
• A simple paraconsistent logic without addition
• On the proof-theoretic structure of counterfactual inference
• Constructive arithmetical impossibilities and their relation to paradoxes
• Perfect proofs at first order
• Coarsening natural deduction proofs. I: Finding perfect proofs
• Coarsening natural deduction proofs. II: Finding gaunt proofs
• Morphing rules of evaluation into rules of deduction: preserving relevance and epistemic gain
• Variable-sharing as relevance
• A topic-theoretic perspective on variable-sharing (from the black sheep of the family)
• A hierarchy of relevance properties
• Introduction: directions and new directions
• Core Tarski and Core McGee
• The Berry paradox
• Normalisation for negative free logics without and with definite descriptions
• Categorical proof-theoretic semantics
• From explosion to implosion: a new justification for the ex falso quodlibet rule
• Topic transparency and variable sharing in weak relevant logics
• Problems of a proof-theoretic characterization of paradoxes
• From proof-theoretic validity to base-extension semantics for intuitionistic propositional logic
• Logical predictivism

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)