Gödel's natural deduction

DOI10.1007/s11225-017-9744-xzbMath1417.03008arXiv1604.03078OpenAlexW2964172364MaRDI QIDQ1744008

Miloš Adžić, Kosta Došen

Publication date: 16 April 2018

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1604.03078

zbMATH Keywords

propositional logicnatural deductiondeductionsequentgeneral proof theory

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Gödel on deduction ⋮ KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic: a history of its central concepts
• Natural deduction, hybrid systems and modal logics
• Cut elimination in categories
• A survey of nonstandard sequent calculi
• Gödel on deduction
• Future Tasks for Gödel Scholars
• Gödel's Introduction to Logic in 1939
• Inferential Semantics
• On Sets of Premises
• GÖDEL’S NOTRE DAME COURSE
• On the Paths of Categories