Here you should find a selected list of my publications and work in progress:
Philosophical type theory. Under contract with Springer,
Logic, Epistemology, and the Unity of Science series.
Planned submission date March, 2026.
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
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
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)
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
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
Constructive mathematics and equality [PDF]
Doctor of Philosophy in Logic, 2018
Institute of Logic and Cognition
Sun Yat-sen University