Normal derivability in classical natural deduction J Von Plato, A Siders The Review of Symbolic Logic 5 (2), 205-211, 2012 | 19 | 2012 |

Consistency of Heyting arithmetic in natural deduction A Kanckos Mathematical Logic Quarterly 56 (6), 611-624, 2010 | 13 | 2010 |

A direct Gentzen-style consistency proof for Heyting arithmetic A Siders Gentzen's Centenary, 177-211, 2015 | 7 | 2015 |

The development of Gödel’s ontological proof A Kanckos, T Lethen The Review of Symbolic Logic, 1-19, 2021 | 6 | 2021 |

Variants of Gödel’s ontological proof in a natural deduction calculus A Kanckos, B Woltzenlogel Paleo Studia Logica 105 (3), 553-586, 2017 | 6 | 2017 |

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 (3), 449-468, 2013 | 5 | 2013 |

A possible and necessary consistency proof A Kanckos Helsingin yliopisto, 2011 | 3 | 2011 |

Kurt Gödel’s reception of Charles Hartshorne’s ontological proof A Kanckos, T Lethen The Vienna Circle and Religion, 183-196, 2022 | 2 | 2022 |

Gentzen's consistency proofs for arithmetic A Kanckos The Logica Yearbook 2009, 109-119, 2010 | 2 | 2010 |

FROM STENIUS’CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR ω-ARITHMETIC A Siders The Review of Symbolic Logic 9 (1), 1-22, 2016 | 1 | 2016 |

Normalization proof for Peano Arithmetic A Siders Archive for Mathematical Logic 54 (7), 921-940, 2015 | 1 | 2015 |

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 A Kanckos Metascience, 1-4, 2022 | | 2022 |

Kurt Gödel behind the rational mathematics: Review of S. Budiansky: Journey to the edge of reason-the life of Kurt Gödel A Kanckos Metascience, 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 | | |

Doroteya Angelova Logical and Epistemological Significance of Inconsis-tent and Incomplete Worlds and Their Applications 3 Jc Beall On truth, abnormal worlds, and necessity 15 BB Bude, R Ciuni, CD Novaes, M Duzı, CG Fermüller, B Jespersen, ... | | |