Bruno Bentzen

Orcid: 0000-0002-5987-7806

According to our database¹, Bruno Bentzen authored at least 9 papers between 2018 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp.

[BibT_eX]

[DOI]

Bruno Bentzen

Bull. Symb. Log., September, 2023

Verified completeness in Henkin-style for intuitionistic propositional logic.

[BibT_eX]

[DOI]

Huayu Guo

Dongheng Chen

Bruno Bentzen

CoRR, 2023

2022

BTPK-based learning: An Interpretable Method for Named Entity Recognition.

[BibT_eX]

[DOI]

CoRR, 2022

2021

Naive cubical type theory.

[BibT_eX]

[DOI]

Bruno Bentzen

Math. Struct. Comput. Sci., 2021

A Henkin-Style Completeness Proof for the Modal Logic S5.

[BibT_eX]

[DOI]

Bruno Bentzen

Proceedings of the Logic and Argumentation - 4th International Conference, 2021

2020

Frege's theory of types.

[BibT_eX]

[DOI]

Bruno Bentzen

CoRR, 2020

Sense, reference, and computation.

[BibT_eX]

[DOI]

Bruno Bentzen

CoRR, 2020

2019

Frege on Referentiality and Julius Caesar in <i>Grundgesetze</i> Section 10.

[BibT_eX]

[DOI]

Bruno Bentzen

Notre Dame J. Formal Log., 2019

2018

Cubical informal type theory: the higher groupoid structure.

[BibT_eX]

[DOI]

Bruno Bentzen

CoRR, 2018

Bruno Bentzen

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...