Bruno Bentzen

Available identifiers

zbMath Open bentzen.brunoMaRDI QIDQ2295735

List of research outcomes

Publication	Date of Publication	Type
An intuitionistic interpretation of Bishop's philosophy	2024-10-31	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.	2023-10-13	Paper
A henkin-style completeness proof for the modal logic S5	2023-03-31	Paper
Naive cubical type theory	2022-12-09	Paper
What types should not be	2020-09-30	Paper
Frege on referentiality and Julius Caesar in \textit{Grundgesetze} Section 10	2020-02-14	Paper

Research outcomes over time

This page was built for person: Bruno Bentzen