Bruno Bentzen

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 11

Top Topics

Sequent Calculi

Top Venues

Bull. Symb. Log.

Math. Struct. Comput. Sci.

Publications

Bruno Bentzen
John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp. Bull. Symb. Log. 29 (3) (2023)
Huayu Guo, Dongheng Chen, Bruno Bentzen
Verified completeness in Henkin-style for intuitionistic propositional logic. CoRR (2023)
Yulin Chen, Zelai Yao, Haixiao Chi, Dov M. Gabbay, Bo Yuan, Bruno Bentzen, Beishui Liao
BTPK-based learning: An Interpretable Method for Named Entity Recognition. CoRR (2022)
Bruno Bentzen
A Henkin-Style Completeness Proof for the Modal Logic S5. CLAR (2021)
Bruno Bentzen
Naive cubical type theory. Math. Struct. Comput. Sci. 31 (10) (2021)
Bruno Bentzen
Sense, reference, and computation. CoRR (2020)
Bruno Bentzen
Frege's theory of types. CoRR (2020)
Bruno Bentzen
Section 10. Notre Dame J. Formal Log. 60 (4) (2019)
Bruno Bentzen
Naive cubical type theory. CoRR (2019)
Bruno Bentzen
A Henkin-style completeness proof for the modal logic S5. CoRR (2019)
Bruno Bentzen
Cubical informal type theory: the higher groupoid structure. CoRR (2018)