Follow
Annika Kanckos
Annika Kanckos
Verified email at helsinki.fi
Title
Cited by
Cited by
Year
Normal derivability in classical natural deduction
J Von Plato, A Siders
The Review of Symbolic Logic 5 (2), 205-211, 2012
192012
Consistency of Heyting arithmetic in natural deduction
A Kanckos
Mathematical Logic Quarterly 56 (6), 611-624, 2010
132010
The development of Gödel’s ontological proof
A Kanckos, T Lethen
The Review of Symbolic Logic, 1-19, 2021
92021
A direct Gentzen-style consistency proof for Heyting arithmetic
A Siders
Gentzen's Centenary, 177-211, 2015
72015
Variants of Gödel’s ontological proof in a natural deduction calculus
A Kanckos, B Woltzenlogel Paleo
Studia Logica 105 (3), 553-586, 2017
62017
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
52015
Gentzen’s consistency proof without heightlines
A Siders
Archive for Mathematical Logic 52 (3), 449-468, 2013
52013
A possible and necessary consistency proof
A Kanckos
Helsingin yliopisto, 2011
32011
Kurt Gödel’s reception of Charles Hartshorne’s ontological proof
A Kanckos, T Lethen
The Vienna Circle and Religion, 183-196, 2022
22022
FROM STENIUS’CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR ω-ARITHMETIC
A Siders
The Review of Symbolic Logic 9 (1), 1-22, 2016
22016
Gentzen's consistency proofs for arithmetic
A Kanckos
The Logica Yearbook 2009, 109-119, 2010
22010
Normalization proof for Peano Arithmetic
A Siders
Archive for Mathematical Logic 54 (7), 921-940, 2015
12015
A Direct Gentzen-style Consistency Proof for Heyting Arithmetic.
A Kanckos
Gentzen's Centenary: The Quest for Consistency, 2015
12015
Gentzen’s Consistency Proofs for Arithmetic
A Siders
Online at http://www. jaist. ac. jp/„mizuhito/jss12/Siders. pdf, 2012
12012
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, ...
The system can't perform the operation now. Try again later.
Articles 1–19