Bruno Bentzen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Frege's logic in \textit{Grundgesetze} is nonclassical Notre Dame Journal of Formal Logic	2026-08-28	Paper
Rethinking intuition in constructive mathematics Theoria	2026-08-06	Paper
On different ways of being equal Erkenntnis	2026-04-13	Paper
Interpretable biomedical named entity recognition via BLSTM with Talmudic public announcement logic	2026-01-08	Paper
Is iteration an object of intuition? Philosophia Mathematica. Series III	2025-10-30	Paper
Analyticity and syntheticity in type theory revisited The Review of Symbolic Logic	2025-02-07	Paper
An intuitionistic interpretation of Bishop's philosophy Philosophia Mathematica. Series III	2024-10-31	Paper
Verified completeness in Henkin-style for intuitionistic propositional logic (available as arXiv preprint)	2024-03-22	Paper
Verified completeness in Henkin-style for intuitionistic propositional logic	2024-03-22	Paper
John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp. The Bulletin of Symbolic Logic	2023-10-13	Paper
A henkin-style completeness proof for the modal logic S5 (available as arXiv preprint)	2023-03-31	Paper
Naive cubical type theory Mathematical Structures in Computer Science	2022-12-09	Paper
What types should not be Philosophia Mathematica	2020-09-30	Paper
Frege on referentiality and Julius Caesar in \textit{Grundgesetze} Section 10 Notre Dame Journal of Formal Logic	2020-02-14	Paper

Research outcomes over time

This page was built for person: Bruno Bentzen