Bruno Bentzen

13 papers Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2025 — conf
Interpretable Biomedical Named Entity Recognition via BLSTM with Talmudic Public Announcement Logic.
CLAR
Yulin Chen, Beishui Liao, Bruno Bentzen, Bo Yuan, Zelai Yao, Haixiao Chi, Dov M. Gabbay
2024 J jnl
Analyticity and Syntheticity in Type Theory Revisited.
Rev. Symb. Log.
Bruno Bentzen
2023 J jnl
John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp.
Bull. Symb. Log.
Bruno Bentzen
2023 J jnl
Verified completeness in Henkin-style for intuitionistic propositional logic.
CoRR
Huayu Guo, Dongheng Chen, Bruno Bentzen
2022 J jnl
BTPK-based learning: An Interpretable Method for Named Entity Recognition.
CoRR
Yulin Chen, Zelai Yao, Haixiao Chi, Dov M. Gabbay, Bo Yuan, Bruno Bentzen, Beishui Liao
2021 — conf
A Henkin-Style Completeness Proof for the Modal Logic S5.
CLAR
Bruno Bentzen
2021 J jnl
Naive cubical type theory.
Math. Struct. Comput. Sci.
Bruno Bentzen
2020 J jnl
Frege's theory of types.
CoRR
Bruno Bentzen
2020 J jnl
Sense, reference, and computation.
CoRR
Bruno Bentzen
2019 J jnl
A Henkin-style completeness proof for the modal logic S5.
CoRR
Bruno Bentzen
2019 J jnl
Frege on Referentiality and Julius Caesar in
Notre Dame J. Formal Log.
Bruno Bentzen
2019 J jnl
Naive cubical type theory.
CoRR
Bruno Bentzen
2018 J jnl
Cubical informal type theory: the higher groupoid structure.
CoRR
Bruno Bentzen