Normal derivability in classical natural deduction J Von Plato, A Siders The Review of Symbolic Logic 5 (2), 205-211, 2012 | 25 | 2012 |
The development of Gödel’s ontological proof A Kanckos, T Lethen The Review of Symbolic Logic 14 (4), 1011-1029, 2021 | 13 | 2021 |
Consistency of Heyting arithmetic in natural deduction A Kanckos Mathematical Logic Quarterly 56 (6), 611-624, 2010 | 13 | 2010 |
Variants of Gödel’s ontological proof in a natural deduction calculus A Kanckos, B Woltzenlogel Paleo Studia Logica 105, 553-586, 2017 | 7 | 2017 |
A direct Gentzen-style consistency proof for Heyting arithmetic A Siders Gentzen's Centenary: The Quest for Consistency, 177-211, 2015 | 7 | 2015 |
Bar induction in the proof of termination of Gentzen's reduction procedure JP A. Siders Gentzen's Centenary: The Quest for Consistency, 127-130, 2015 | 5 | 2015 |
Gentzen’s consistency proof without heightlines A Siders Archive for Mathematical Logic 52, 449-468, 2013 | 5 | 2013 |
A possible and necessary consistency proof A Kanckos Philosophical Studies from the University of Helsinki, 2011 | 5 | 2011 |
Kurt Gödel’s reception of Charles Hartshorne’s ontological proof A Kanckos, T Lethen The Vienna Circle and Religion, 183-196, 2021 | 4 | 2021 |
FROM STENIUS’CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR ω-ARITHMETIC A Siders The Review of Symbolic Logic 9 (1), 1-22, 2016 | 3 | 2016 |
Normalization proof for Peano Arithmetic A Siders Archive for Mathematical Logic 54, 921-940, 2015 | 2 | 2015 |
Gentzen's consistency proofs for arithmetic A Kanckos The Logica Yearbook 2009, 109-119, 2010 | 2 | 2010 |
A Direct Gentzen-style Consistency Proof for Heyting Arithmetic. A Kanckos Gentzen's Centenary: The Quest for Consistency, 2015 | 1 | 2015 |
Gentzen’s Consistency Proofs for Arithmetic A Siders Online at http://www. jaist. ac. jp/„mizuhito/jss12/Siders. pdf, 2012 | 1 | 2012 |
Kurt Gödel behind the rational mathematics: Stephen Budiansky: Journey to the edge of reason: the life of Kurt Gödel. Oxford: Oxford University Press, 2021, 368 pp,€ 23.90 HB A Kanckos Metascience 31 (2), 239-242, 2022 | | 2022 |
Intuitionistic Derivability in Anderson's Variant of the Ontological Argument. A Kanckos ARQNL@ IJCAR, 46-63, 2022 | | 2022 |
A note on Gentzen’s ordinal assignment A Kanckos Archive for Mathematical Logic 58 (3), 347-352, 2019 | | 2019 |
Introduktion till formell logik A Kanckos | | |