Ansten Klev (klev-a)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Klev, Ansten. 2013. “Form of Apprehension and the Content-Apprehension Model in Husserl’s Logical Investigations.” in The Philosophy of Edmund Husserl, edited by Uwe Meixner and Rochus Sowa, pp. 49–69. Logical Analysis and History of Philosophy n. 16. Münster: Mentis Verlag.
Klev, Ansten. 2016. “Carnap on Unified Science.” Studies in History and Philosophy of Science 59: 53–67.
Klev, Ansten. 2017. “Truthmaker Semantics: Fine Versus Martin-Löf.” in The Logica Yearbook 2016, edited by Pavel Arazim and Tomáš Lávička, pp. 87–108. London: College Publications.
Klev, Ansten. 2018. “The Logical Form of Identity Criteria.” in The Logica Yearbook 2017, edited by Pavel Arazim and Tomáš Lávička, pp. 181–196. London: College Publications.
Klev, Ansten. 2019. “The Name of the Sinus Function.” in The Logica Yearbook 2018, edited by Igor Sedlár and Martin Blicha, pp. 149–160. London: College Publications.
Klev, Ansten. 2022. “Identity in Martin-Löf Type Theory.” Philosophy Compass 17(2), doi:10.1111/phc3.12805.