Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Julkaisut
Hakutulokset
-
2022
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 -
2019
A note on Gentzen’s ordinal assignment
Kanckos, A., toukok. 2019, julkaisussa: Archive for Mathematical Logic. 58, 3-4, s. 347-352 6 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
The Development of Gödel's ontological Proof
Kanckos, A. & Lethen, T., 15 marrask. 2019, julkaisussa: The Review of Symbolic Logic. 14, 4, s. 1011-1029 19 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
2017
Variants of Gödel's Ontological Proof in a Natural Deduction Calculus
Kanckos, A. & Woltzenlogel Paleo, B., 2017, julkaisussa: Studia Logica. 105, 3, s. 553-586 34 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
2016
From Stenius' consistency proof to Schütte's cut elimination for omega-arithmetic
Siders, A., 2016, julkaisussa: The Review of Symbolic Logic. 9, 1, s. 1-22 22 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
2015
A Direct Gentzen-style Consistency Proof for Heyting Arithmetic.
Kanckos, A., 2015, Gentzen's Centenary: The Quest for Consistency. Kahle, R. & Rathjen, M. (toim.). Springer, Vuosikerta XVII.Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu
-
Bar Induction in the proof of termination of Gentzens reduction procedure
Kanckos, A. & von Plato, J., 2015, Gentzen's Centenary : The Quest for Consistency. Kahle, R. & Rathjen, M. (toim.). Springer, Vuosikerta XVII. s. 127-130 4 SivumääräTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu
-
Normalization proof for Peano Arithmetic
Siders, A. K., 13 lokak. 2015, julkaisussa: Archive for Mathematical Logic. 54, 7, s. 921-940 20 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
-
2013
Gentzen’s consistency proof without heightlines
Siders, A., 2013, julkaisussa: Archive for Mathematical Logic. 52, 3-4, s. 449–468 20 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
-
2012
Normal derivability in classical natural deduction
von Plato, J. & Siders, A., 2012, julkaisussa: The Review of Symbolic Logic. 5, 2, s. 205-211 7 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
-
2011
A Possible and Necessary Consistency Proof
Kanckos, A., 2011, Helsinki: Helsinki University Press. 112 SivumääräTutkimustuotos: Opinnäyte › Väitöskirja › Monografia
-
2010
Consistency of Heyting Arithmetic in Natural Deduction.
Kanckos, A., 2010, julkaisussa: Mathematical Logic Quarterly. 56, 6, s. 611-624Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
-
Gentzen's consistency proofs for arithmetic
Kanckos, A., 2010, The Logica Yearbook 2009. Pelis, M. (toim.). College publications, s. 109-119Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu