Annika Kanckos

According to our database, Annika Kanckos authored at least 9 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Intuitionistic Derivability in Anderson's Variant of the Ontological Argument.

Annika Kanckos

Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), 2022

2021

The Development of Gödel's Ontological Proof.

Annika Kanckos, Tim Lethen

Rev. Symb. Log., 2021

2019

A note on Gentzen's ordinal assignment.

Annika Kanckos

Arch. Math. Log., 2019

2017

Variants of Gödel's Ontological Proof in a Natural Deduction Calculus.

Annika Kanckos, Bruno Woltzenlogel Paleo

Stud Logica, 2017

2016

From Stenius' Consistency Proof to SCHüTTE's Cut Elimination for ω-Arithmetic.

Annika Siders

Rev. Symb. Log., 2016

2015

Normalization proof for Peano Arithmetic.

Annika Siders

Arch. Math. Log., 2015

2013

Gentzen's consistency proof without heightlines.

Annika Siders

Arch. Math. Log., 2013

2012

Normal Derivability in Classical Natural Deduction.

Jan von Plato, Annika Siders

Rev. Symb. Log., 2012

2010

Consistency of Heyting arithmetic in natural deduction.

Annika Kanckos

Math. Log. Q., 2010