Predicativity and Feferman
L Crosilla - Feferman on foundations: Logic, mathematics …, 2017 - Springer
Predicativity is a notable example of fruitful interaction between philosophy and
mathematical logic. It originated at the beginning of the 20th century from methodological …
mathematical logic. It originated at the beginning of the 20th century from methodological …
Bishop's mathematics: A philosophical perspective
L Crosilla - 2023 - cambridge.org
The past 50 years have seen the flourishing of constructive approaches to mathematics and
the growth of a variety of research groups working on constructive mathematics. This has …
the growth of a variety of research groups working on constructive mathematics. This has …
Constructivity and Predicativity: Philosophical Foundations
ML Crosilla - 2016 - etheses.whiterose.ac.uk
The thesis examines two dimensions of constructivity that manifest themselves within
foundational systems for Bishop constructive mathematics: intuitionistic logic and …
foundational systems for Bishop constructive mathematics: intuitionistic logic and …
Type-theoretical foundations of the derivation system in Coq
V Lenko, V Pasichnyk, N Kunanets… - 2018 IEEE First …, 2018 - ieeexplore.ieee.org
This paper presents an analysis of a type theory, which serves as a solid foundation for
usage of the derivation system in Coq proof assistant. An overview of the extension path …
usage of the derivation system in Coq proof assistant. An overview of the extension path …