Core Logic

DOI10.1093/OSO/9780198777892.001.0001zbMath1386.03001OpenAlexW4230715677MaRDI QIDQ5366876

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) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (11)

Logical predictivism ⋮ 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? ⋮ The original sin of proof-theoretic semantics ⋮ Core Type Theory ⋮ A plea for KR ⋮ Restall's proof-theoretic pluralism and relevance logic ⋮ Structural weakening and paradoxes ⋮ TRANSMISSION OF VERIFICATION

This page was built for publication: Core Logic