Gödel on deduction
From MaRDI portal
Publication:2631643
DOI10.1007/S11225-017-9774-4OpenAlexW2963439645MaRDI QIDQ2631643FDOQ2631643
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
Recommendations
Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Advances in proof-theoretic semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Adjointness in Foundations
- Title not available (Why is that?)
- Meanings in Ordinary Language and in Mathematics
- Title not available (Why is that?)
- Open Problems in Proof-Theoretic Semantics
- Title not available (Why is that?)
- A set of postulates for the foundation of logic. II
- Proof-theoretical coherence
- Identity of Proofs Based on Normalization and Generality
- Title not available (Why is that?)
- Gödel's natural deduction
- Title not available (Why is that?)
- Models of deduction
- Finitary set theory
- Title not available (Why is that?)
- Future Tasks for Gödel Scholars
- Gödel's Introduction to Logic in 1939
- A prologue to the theory of deduction
- Gödel's Notre Dame course
- On the Paths of Categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Gödel on Concepts
- Two Draft Letters from Godel on Self-knowledge of Reason
- Title not available (Why is that?)
- Zeiteinteilung (Maximen) I und II
- Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus
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
- Core Gödel
- Gödel's natural deduction
- Godel's interpretation of intuitionism
- Gödel's ontological proof and its variants
- G\"odel on Deduction
- Title not available (Why is that?)
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)