!!Research output per year
!!Research output per year
Henkilökohtainen profiili
Tutkimuksen ja opetuksen kuvaus
My areas of research are primarily structural proof theory and ordinal analysis. I teach logic in Swedish at the introductory level.
Tutkimuskohteet
Logiikka, Todistusteoria
Tieteenalat
- 611 Filosofia
Ohjaaja tohtoriohjelmassa
- Humanististen tieteiden tohtoriohjelma
Tutkimustuotos
-
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
Kanckos, A., 2026, ArXiv.Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
Second-Order Monadic Modal Logic with Axioms as Rules
Kanckos, A., 11 elok. 2026, julkaisussa: Studia Logica. 52 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open access -
Intuitionistic Derivability in Anderson’s Variant of the Ontological Argument
Kanckos, A., 2022, CEUR Workshop Proceedings: Proceedings of Automated Reasoning in Quantified Non-Classical Logics 2022. 18 Sivumäärä (CEUR Workshop Proceedings; Vuosikerta Vol 3326).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Kurt Gödel behind the rational mathematics: Review of S. Budiansky: Journey to the edge of reason - the life of Kurt Gödel
Kanckos, A., 12 huhtik. 2022, julkaisussa: Metascience.Tutkimustuotos: Artikkelijulkaisu › Kirjallisuus- tai taidearvostelu › Tieteellinen
Open access -
Kurt Gödel's reception of Charles Hartshorne's ontological proof
Kanckos, A. & Lethen, T., 2022, The Vienna Circle and Religion. Ramharter, E. (toim.). Cham: Springer International Publishing, s. 183-196 14 Sivumäärä (Vienna Circle Institute Yearbook).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto
Aktiviteetit
-
The philosophical roots of mathematical logic
Kanckos, A. (Kutsuttu puhuja)
4 huhtik. 2022 → 6 huhtik. 2022Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
4th International Workshop onAutomated Reasoning in Quantified Non-Classical Logics
Kanckos, A. (Tieteellisen komitean jäsen)
11 elok. 2022Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Advances in Modal Logic 2020
Kanckos, A. (Järjestäjätoimikunnan jäsen)
24 elok. 2020 → 28 elok. 2020Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen