Login / Signup
Annika Siders
ORCID
Publication Activity (10 Years)
Years Active: 2012-2016
Publications (10 Years): 2
Top Topics
Linear Time Temporal Logic
Cut Elimination
Theorem Prover
Sequent Calculus
Top Venues
Arch. Math. Log.
Rev. Symb. Log.
</>
Publications
</>
Annika Siders
From Stenius' Consistency Proof to SCHüTTE's Cut Elimination for ω-Arithmetic.
Rev. Symb. Log.
9 (1) (2016)
Annika Siders
Normalization proof for Peano Arithmetic.
Arch. Math. Log.
54 (7-8) (2015)
Annika Siders
Gentzen's consistency proof without heightlines.
Arch. Math. Log.
52 (3-4) (2013)
Jan von Plato
,
Annika Siders
Normal Derivability in Classical Natural Deduction.
Rev. Symb. Log.
5 (2) (2012)