Publications

Here you should find a complete list of my publications, work in progress, and drafts.

Peer-reviewed papers

  • Naive cubical type theory [PDF | Link]
    Mathematical Structures in Computer Science, first view, pp.127
    doi:10.1017/S096012952200007X

  • On different ways of being equal [PDF | Link]
    Erkenntnis, online first, pp.1–22
    doi:10.1007/s10670-020-00275-8

  • Sense, reference, and computation [PDF | Link]
    Perspectiva Filosofica, 47(2), pp.179203, 2020
    doi:10.51359/2357-9986.2020.248896

  • What types should not be [PDF | Link]
    Philosophia Mathematica, 28(1), pp.60–76, 2020
    doi:10.1093/philmat/nkz014

  • Frege 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. 459467, 2021.
    doi:10.1007/978-3-030-89391-0_25

  • Revisiting 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 review

  • Propositions as intentions
    Under review

  • Brouwer's intuition of twoity and the construction of separable objects
    Manuscript in preparation

  • Intuition and construction in mathematical constructivism
    Manuscript in preparation

  • What is a type theory, intuitionistically?
    Currently being retooled

Dissertation

  • Constructive mathematics and equality [PDF]
    Doctor of Philosophy in Logic, 2018
    Sun Yat-sen University

  • Value-ranges, Julius Caesar and Indeterminacy [PDF]
    Master of Arts in Philosophy, 2014
    Federal University of Pernambuco