Annika Kanckos

Available identifiers

zbMath Open kanckos.annikaMaRDI QIDQ1734261

List of research outcomes

Publication	Date of Publication	Type
THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF	2022-02-07	Paper
Kurt G\"odel's reception of Charles Hartshorne's ontological proof	2021-11-23	Paper
A note on Gentzen's ordinal assignment	2019-03-27	Paper
A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic	2017-09-27	Paper
Variants of Gödel's ontological proof in a natural deduction calculus	2017-07-19	Paper
FROM STENIUS’ CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR ω-ARITHMETIC	2016-04-29	Paper
Normalization proof for Peano arithmetic	2015-11-18	Paper
Gentzen's consistency proof without heightlines	2013-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q4648945	2012-11-16	Paper
NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION	2012-06-11	Paper
Consistency of Heyting arithmetic in natural deduction	2011-01-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Annika Kanckos