Diese Seite auf DeutschCette page en françaisQuesta pagina in italiano
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/simpson-ak

Alex K. Simpson (simpson-ak)

Cited in the following articles

A Recipe for Non-Wellfounded but Complete Chains of Explanations (and other Determination Relations)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Simpson, Alex K. 1994. “The Proof Theory and Semantics of Intuitionistic Modal Logic.” PhD dissertation, Edinburgh: University of Edinburgh, Departement of Philosophy.
    Simpson, Alex K. 2017. “Cyclic Arithmetic is Equivalent to Peano Arithmetic.” in Foundations of Software Science and Computation Structures. Proceedings of the 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, edited by Javier Esparza and Andrzej S. Murawski, pp. 283–300. Cham: Springer, doi:10.1007/978-3-662-54458-7_17.