Annika Siders (Kanckos)

Post Doc Researcher

Contact Information

Publications

• A. Kanckos. “Gentzen's Consistency Proofs for Arithmetic”, in The Logica Yearbook 2009, ed. M. Peliš , College Publications, London, 2010, pp. 109-119.
• A. Kanckos. “Consistency of Heyting Arithmetic in Natural Deduction”. Mathematical Logic Quarterly, 56, No. 6, (2010), pp. 611-624.
• A. Siders. “A Direct Gentzen-style Consistency Proof for Heyting Arithmetic”. (To appear in a Gentzen Centenary Volume).
• J. von Plato, A. Siders. “Normal Derivability in Classical Natural Deduction”. Review of Symbolic Logic, 5, No. 2 (2012), pp 205-211 .
• A. Siders. “Gentzen's Consistency Proof without Heightlines”, Archive for Mathematical Logic. 52, No. 3-4, (2013), pp. 449–468.
• A. Siders, J. von Plato. “Bar induction in the proof of termination of Gentzens reduction procedure”. (To appear in a Gentzen Centenary Volume).
• A. Siders. “Normalization Proof for Peano Arithmetic”. (Submitted).