Gödel on deduction

DOI10.1007/S11225-017-9774-4OpenAlexW2963439645MaRDI QIDQ2631643

Miloš Adžić, Kosta Došen

Publication date: 15 May 2019

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

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

zbMATH Keywords

setextensiondeductionproof-theoretic semanticssequentconceptintensiongeneral proof theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (3)

Gödel's natural deduction ⋮ Informal and absolute proofs: some remarks from a Gödelian perspective ⋮ Kurt Gödel and the logic of concepts

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Advances in proof-theoretic semantics
• Finitary set theory
• Gödel's natural deduction
• A set of postulates for the foundation of logic. II
• Models of deduction
• Future Tasks for Gödel Scholars
• Two Draft Letters from Godel on Self-knowledge of Reason
• Gödel's Introduction to Logic in 1939
• Adjointness in Foundations
• Meanings in Ordinary Language and in Mathematics
• Identity of Proofs Based on Normalization and Generality
• Zeiteinteilung (Maximen) I und II
• GÖDEL’S NOTRE DAME COURSE
• Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus
• Gödel on Concepts
• On the Paths of Categories
• Open Problems in Proof-Theoretic Semantics

This page was built for publication: Gödel on deduction