Annika Siders (Kanckos)
Post Doc Researcher
Contact Information
Department of Philosophy
P.O. Box 24 (Unioninkatu 40 A)
FI-00014 University of Helsinki
Finland
email: annika.siders (at) helsinki.fi
phone: +358 50 415 4816
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).
Quiz on logic