Publications

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

Books

• Philosophical type theory. Under contract with Springer, 
  Logic, Epistemology, and the Unity of Science series.
  Planned submission date March, 2026.

Peer-reviewed articles

• Rethinking intuition in constructive mathematics  [PDF | Link]
  Theoria, online first, pp. 1–15, 2025
  doi: 10.1111/theo.70031

• Is iteration an object of intuition? [PDF | Link]
  Philosophia Mathematica, 33(1), pp. 69–84, 2025
  doi: 10.1093/philmat/nkae019

• Intuitionism in mathematics [PDF | Link]
  Internet Encyclopedia of Philosophy, 2025

• 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

• Interpretable Biomedical Named Entity Recognition via BLSTM with Talmudic Public Announcement Logic
  (with Yulin Chen, Beishui Liao, Bo Yuan, Zelai Yao, Haixiao Chi, and Dov Gabbay)
  International Conference on Logic and Argumentation, CLAR 2025, forthcoming

• 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]
  International Conference on Logic and Argumentation, CLAR 2021. 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

• What is a mathematical construction? (under review)

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

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

• An intuitionistic approach to a puzzle about actuality (with Davide Fassio, under review)

• Church- and Curry-typing in the meaning explanations of constructive type theory (with Ansten Klev, under review)

• On intuitionistic logic with actuality (in preparation)

• Naturalistic intuitionism for physics (with Nicolas Gisin and Flavio del Santo, in preparation)

• Paper on Frege's Begriffsschrift (with Jilin Wang and Alessandro Duarte, in preparation)
  
  

Edited Proceedings

• Logics for AI and Law (co-edited with Beishui Liao, Davide Liga, Reka Markovich, Bin Wei, Minghui Xiong, Tianwen Xu),
  College Publications, Logics for New-Generation AI series, volume 3, 2023.
  ISBN: 1848904398
  
  

Book reviews

• Review of Carl Posy's Mathematical intuitionism (in preparation)

• 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