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 …

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 …

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 …

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 …