Publisher
Springer Science and Business Media LLC
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Collapsings;Ordinal Analysis with an Introduction to Proof Theory;2020
2. Cut-Elimination for SBL;The Legacy of Kurt Schütte;2020
3. A Formalization of Brouwer’s Argument for Bar Induction;Logic, Language, Information, and Computation;2018
4. Contentual and Formal Aspects of Gentzen’s Consistency Proofs;Philosophical Logic: Current Trends in Asia;2017
5. An extension of the omega-rule;Archive for Mathematical Logic;2016-03-31