CUT FOR CLASSICAL CORE LOGIC

DOI10.1017/S1755020315000088zbMath1337.03082MaRDI QIDQ5259721

Neil Tennant

Publication date: 29 June 2015

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

cut eliminationclassical core logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05)

Related Items

On some mistaken beliefs about core logic and some mistaken core beliefs about logic ⋮ Core Gödel ⋮ WHAT IS A RULE OF INFERENCE? ⋮ GP’s LP ⋮ TRANSMISSION OF VERIFICATION

Cites Work

• NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION
• CUT FOR CORE LOGIC
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item