Dialogues and Proofs; Yankov’s Contribution to Proof Theory

DOI10.1007/978-3-031-06843-0_3OpenAlexW4312954372MaRDI QIDQ5886456

Andrzej Indrzejczak

Publication date: 5 April 2023

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-06843-0_3

zbMATH Keywords

arithmeticproof theoryanalysisset theoryconsistency proofsbar inductiondialogical interpretation of proofs

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other algebras related to logic (03G25) General logic (03Bxx)

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Natural deduction, hybrid systems and modal logics
• Proof theory. 2nd ed
• Untersuchungen über das logische Schliessen. II
• On the rules of suppositions in formal logic
• Die Widerspruchsfreiheit der Stufenlogik
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• The Blind Spot
• Gentzen's Proof of Normalization for Natural Deduction
• A semantics of evidence for classical arithmetic
• DIALOGUE THEORY OF PROOFS FOR ARITHMETIC, ANALYSIS, AND SET THEORY
• A note on Bar Induction in Constructive Set Theory

This page was built for publication: Dialogues and Proofs; Yankov’s Contribution to Proof Theory