Gödel on deduction

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

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

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)

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)