Publications

Here you should find a selected list of my publications and work in progress:

Journal articles

• Frege's theory of types
  Manuscrito, forthcoming
  
  

• Analyticity and syntheticity in type theory revisited [PDF | Link]
  Review of Symbolic Logic, online first, pp.1-29
  doi:10.1017/s1755020323000199
  
  

• Brouwer’s intuition of twoity and constructions in separable mathematics  [PDF | Link]
  History and Philosophy of Logic, online first, pp.1–21
  doi:10.1080/01445340.2023.2210908
  
  

• Propositions as intentions [PDF | Link]
  Husserl Studies, 39, pp.143–160, 2023
  doi:10.1007/s10743-022-09323-3
  
  

• On different ways of being equal [PDF | Link]
  Erkenntnis, 87(4), pp.1809–1830, 2022
  doi:10.1007/s10670-020-00275-8
  
  

• Naive cubical type theory [PDF | Link]
  Mathematical Structures in Computer Science, 31, pp. 1205–1231, 2021
  doi:10.1017/S096012952200007X
  
  

• Sense, reference, and computation [PDF | Link]
  Perspectiva Filosofica, 47(2), pp.179–203, 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
  
  

Conference papers

• Verified completeness in Henkin-style for intuitionistic propositional logic (with Huayu Guo and Dongheng Chen)
  Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law,
  B. Bentzen, B. Liao, D. Liga, R. Markovich, B. Wei, M. Xiong, T. Xu (eds.), pp.36–48, 2023

• A Henkin-style completeness proof for the modal logic S5 [Link | Extended version]
  Proceedings of the 4th International Conference on Logic and Argumentation (CLAR)
  P. Baroni, C. Benzmüller, Y. N. Wáng (eds.), pp. 459–467, 2021.
  doi:10.1007/978-3-030-89391-0_25
  
  

Selected work in progress

• Intuition and construction in mathematical constructivism
  Under review

• The intuitionistic interpretation of Bishop's philosophy
  Under review

• Martin-Löf's distinction between sense and reference (with Huayu Guo)
  In preparation

• Intuition in constructive mathematics
  In preparation
  
  

Book reviews

• John MacFarlane. Philosophical Logic: A Contemporary Introduction.
  Bulletin of Symbolic Logic, forthcoming
  doi:10.1017/bsl.2023.28
  
  

Dissertation

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