Publications
Here you should find a complete list of my publications, work in progress, and drafts.
Peer-reviewed papers
Propositions as intentions [PDF | Link]
Husserl Studies, online first
doi:10.1007/s10743-022-09323-3On different ways of being equal [PDF | Link]
Erkenntnis, 87(4), pp.1809–1830, 2022
doi:10.1007/s10670-020-00275-8Naive cubical type theory [PDF | Link]
Mathematical Structures in Computer Science, 31, pp. 1205–1231, 2021
doi:10.1017/S096012952200007XSense, reference, and computation [PDF | Link]
Perspectiva Filosofica, 47(2), pp.179–203, 2020
doi:10.51359/2357-9986.2020.248896What types should not be [PDF | Link]
Philosophia Mathematica, 28(1), pp.60–76, 2020
doi:10.1093/philmat/nkz014Frege on referentiality and Julius Caesar in Grundgesetze §10 [PDF | Link]
Notre Dame Journal of Formal Logic, 60(4), pp.617–637, 2019
doi:10.1215/00294527-2019-0022
Book chapters
A Henkin-style completeness proof for the modal logic S5 [Link | Extended version]
Logic and Argumentation: Fourth International Conference, CLAR 2021, Hangzhou, China, October 20–22
P. Baroni, C. Benzmüller, Y. N. Wáng (Eds.), pp. 459–467, 2021.
doi:10.1007/978-3-030-89391-0_25Revisiting Grundgesetze: How wrong was Frege? [Link]
Pensar o problema: Meta-Fı́sica, Matemática, Linguagem e Intenção
G. F. de Arruda Júnior and J. M. de Luna (Eds.). Porto Alegre: Ed. Fi, 2019, pp. 87–108
ISBN: 978-85-5696-712-4'Substanzbegriff und Funkionsbegriff' de Ernst Cassirer (with Fernando Raul Neto) [Link]
Investigaciones Kantianas. Homenaje a Juan Bonaccini
F. Raul Neto and H. Pringe (eds.). 1ed. Recife: Ed. UFPE, 2018, pp. 61–106
ISBN: 978-85-415-1048-6
Selected work in progress
Frege's theory of types [Preprint of early draft]
Under reviewBrouwer’s intuition of twoity and constructions in separable mathematics
Under reviewIntuition and construction in mathematical constructivism
Under reviewThe analytic and synthetic distinction in constructive semantics
Under reviewThe intuitionistic interpretation of Bishop's philosophy
Under review