A Henkin-style completeness proof for the modal logic S5 B Bentzen Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou …, 2021 | 20 | 2021 |
On different ways of being equal B Bentzen Erkenntnis, 1-22, 0 | 6* | |
Frege on Referentiality and Julius Caesar in Grundgesetze Section 10 B Bentzen Notre Dame Journal of Formal Logic 60 (4), 617-637, 2019 | 5 | 2019 |
Frege's theory of types B Bentzen Manuscrito 46 (6), 2022-0063, 2023 | 4 | 2023 |
Naive cubical type theory B Bentzen Mathematical Structures in Computer Science 31 (10), 1205-1231, 2021 | 4 | 2021 |
What Types Should Not Be B Bentzen Philosophia Mathematica 28 (1), 60-76, 2020 | 4 | 2020 |
Sense, reference, and computation B Bentzen arXiv preprint arXiv:2006.16450, 2020 | 3 | 2020 |
BTPK-based learning: An Interpretable Method for Named Entity Recognition Y Chen, Z Yao, H Chi, D Gabbay, B Yuan, B Bentzen, B Liao Proceedings of the Third International Workshop on Logics for New-Generation …, 2022 | 2 | 2022 |
Constructive mathematics and equality B Bentzen Sun Yat-sen University, 2018 | 2 | 2018 |
Verified completeness in Henkin-style for intuitionistic propositional logic H Guo, D Chen, B Bentzen Proceedings of the Third International Workshop on Logics for New-Generation …, 2023 | 1 | 2023 |
Propositions as intentions B Bentzen Husserl Studies 39 (2), 143-160, 2023 | 1 | 2023 |
Brouwer's Intuition of Twoity and Constructions in Separable Mathematics B Bentzen History and Philosophy of Logic, 1-21, 2023 | 1 | 2023 |
Value-ranges, Julius Caesar and Indeterminacy B Bentzen Universidade Federal de Pernambuco, 2014 | 1 | 2014 |
O conceito de número E Cassirer Revista Perspectiva Filosófica 2 (40), 1-39, 2013 | 1 | 2013 |
John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx+ 238 pp. B Bentzen Bulletin of Symbolic Logic 29 (3), 456-457, 2023 | | 2023 |
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 … B Bentzen, B Liao, D Liga, R Markovich, M Xiong, B Wei, T Xu College Publications, Hangzhou, China 3, 241, 2023 | | 2023 |
Revisiting Grundgesetze: How wrong was Frege? B Bentzen Pensar o problema: Meta-Fı́sica, Matemática, Linguagem e Intenção 1, 87-108, 2019 | | 2019 |
Cubical informal type theory: The higher groupoid structure B Bentzen arXiv preprint arXiv:1806.08490, 2018 | | 2018 |
Frege versus Júlio César: uma disputa necessária? B Bentzen Filosofia Contemporânea: Lógica, Linguagem e Ciência 1, 111-120p, 2013 | | 2013 |
Um sistema fuzzy para o diagnóstico diferencial de doenças neuromusculares B Bentzen, CDC Albuquerque XIII Congresso Brasileiro de Informática em Saúde 1, 2012 | | 2012 |