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.

• 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

Peer-reviewed articles

• Intuitionism in mathematics [PDF]
  Internet Encyclopedia of Philosophy, forthcoming

• 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

• 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 construction in Bishop's constructive mathematics? (under review)

• Rethinking intuition in constructive mathematics (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)

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

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

• An intuitionistic approach to a puzzle about actuality (with Davide Fassio, in preparation)

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

• Intuitionistic modal logic with actuality (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