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

(44)

• The Berry paradox
• Logical predictivism
• Core Tarski and Core McGee
• Rule-irredundancy and the sequent calculus for core logic
• TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
• Normalisation for negative free logics without and with definite descriptions
• 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
• 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
• A normal paradox
• Disjunctive syllogism without \textit{ex falso}
• Proof-theoretic semantics: an autobiographical survey
• On the non-substantiality of logic: a case study
• Core Gödel
• A simple paraconsistent logic without addition
• On the proof-theoretic structure of counterfactual inference
• Transmission of verification
• WHAT IS A RULE OF INFERENCE?
• The nature of entailment: an informational approach
• Core Type Theory
• Constructive arithmetical impossibilities and their relation to paradoxes
• scientific article; zbMATH DE number 605246 (Why is no real title available?)
• Why intuitionistic relevant logic cannot be a core logic
• From proof-theoretic validity to base-extension semantics for intuitionistic propositional logic
• Perfect proofs at first order
• A plea for KR
• Coarsening natural deduction proofs. I: Finding perfect proofs
• Coarsening natural deduction proofs. II: Finding gaunt proofs
• 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
• 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

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)