Publications

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

Journal articles

• Is iteration an object of intuition? [PDF | Link]
  Philosophia Mathematica, online first, pp. 1–16
  doi: 10.1093/philmat/nkae019

• Analyticity and syntheticity in type theory revisited [PDF | Link]
  Review of Symbolic Logic, 17(4), pp. 1119–1145, 2025
  doi: 10.1017/s1755020323000199

• An intuitionistic interpretation of Bishop's philosophy [PDF | Link]
  Philosophia Mathematica, 32(3), pp. 307–331, 2024
  doi: 10.1093/philmat/nkae015

• Brouwer’s intuition of twoity and constructions in separable mathematics  [PDF | Link]
  History and Philosophy of Logic, 45(3), pp. 341–361, 2023
  doi: 10.1080/01445340.2023.2210908

• Frege's theory of types [PDF | Link]
  Manuscrito, 46(4), pp. 1–47, 2023
  doi: 10.1590/0100-6045.2023.v46n4.bb

• 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) [PDF | Link]
  Logics for AI and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou, Logics for New-Generation AI series, volume 3, College Publications
  B. Bentzen, B. Liao, D. Liga, R. Markovich, B. Wei, M. Xiong, T. Xu (eds.), pp.36–48, 2023

• BTPK-based interpretable method for NER tasks based on Talmudic Public Announcement Logic
  (with Yulin Chen, Beishui Liao, Bo Yuan, Zelai Yao, Haixiao Chi, and Dov Gabbay) [Link | Extended version]
  Logics for AI and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou, Logics for New-Generation AI series, volume 3, College Publications
  B. Bentzen, B. Liao, D. Liga, R. Markovich, B. Wei, M. Xiong, T. Xu (eds.), pp.127–133, 2023

• A Henkin-style completeness proof for the modal logic S5 [Link | Extended version]
  Logic and Argumentation: 4th International Conference, CLAR 2021 Hangzhou, China, October 20–22, 2021 Proceedings
  Lecture notes in Artificial Intelligence, Springer
  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

• Intuitionism (for the Internet Encyclopedia of Philosophy, under review)

• What is a construction in Bishop's constructive mathematics? (under review)

• Rethinking intuition in constructive mathematics (under review)

• Frege’s first-order logic in Grudgesetze is non-classical (under review)

• Paper on typing a la Curry and Church in constructive type theory (with Ansten Klev, in preparation)

• Philosophical type theory (monograph, in preparation)

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

Book reviews

• John MacFarlane. Philosophical Logic: A Contemporary Introduction [Link]
  Bulletin of Symbolic Logic, 29(3), pp.456–457, 2023
  doi: 10.1017/bsl.2023.28
  
  

Dissertation

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