Gödel on deduction

DOI10.1007/S11225-017-9774-4MaRDI QIDQ2631643zbMATH OpenOpenAlexFDO

Authors Kosta Došen, Miloš Adžić

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

setextensionproof-theoretic semanticsdeductionsequentconceptintensiongeneral proof theory

Mathematics Subject Classification ID

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

Recommendations

• Gödel on Concepts
• scientific article; zbMATH DE number 1779555
• Kurt Gödel and the logic of concepts
• Gödel's natural deduction

Cites work

• scientific article; zbMATH DE number 1823815 (Why is no real title available?)
• scientific article; zbMATH DE number 3882394 (Why is no real title available?)
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3950473 (Why is no real title available?)
• scientific article; zbMATH DE number 50686 (Why is no real title available?)
• scientific article; zbMATH DE number 1093813 (Why is no real title available?)
• scientific article; zbMATH DE number 1163995 (Why is no real title available?)
• scientific article; zbMATH DE number 3009954 (Why is no real title available?)
• scientific article; zbMATH DE number 1855556 (Why is no real title available?)
• scientific article; zbMATH DE number 1855559 (Why is no real title available?)
• scientific article; zbMATH DE number 2123258 (Why is no real title available?)
• scientific article; zbMATH DE number 785421 (Why is no real title available?)
• scientific article; zbMATH DE number 833164 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3289430 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A prologue to the theory of deduction
• A set of postulates for the foundation of logic. II
• Adjointness in Foundations
• Advances in proof-theoretic semantics
• Finitary set theory
• Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus
• Future Tasks for Gödel Scholars
• Gödel on Concepts
• Gödel's Introduction to Logic in 1939
• Gödel's Notre Dame course
• Gödel's natural deduction
• Identity of Proofs Based on Normalization and Generality
• Meanings in Ordinary Language and in Mathematics
• Models of deduction
• On the Paths of Categories
• Open Problems in Proof-Theoretic Semantics
• Proof-theoretical coherence
• Two Draft Letters from Godel on Self-knowledge of Reason
• Zeiteinteilung (Maximen) I und II

Cited in

(10)

• Kurt Gödel and the logic of concepts
• THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
• Gödel’s Disjunction
• Informal and absolute proofs: some remarks from a Gödelian perspective
• Gödel's natural deduction
• Core Gödel
• Godel's interpretation of intuitionism
• Gödel's ontological proof and its variants
• G\"odel on Deduction
• scientific article; zbMATH DE number 922621 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2631643)