1 citations · 1 across the 2 of their papers we have counts for
3 papers
physics.hist-ph2025
Naturalistic intuitionism for physics
Bruno Bentzen, Flavio Del Santo, Nicolas Gisin
Recently, a novel intuitionistic reconstruction of the foundations of physics has been primarily developed by Nicolas Gisin and Flavio Del Santo drawing on naturalism. Our goal in…
cs.LO2023★ 1 cited
Verified completeness in Henkin-style for intuitionistic propositional logic
Huayu Guo, Dongheng Chen, Bruno Bentzen
This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke mode…
cs.LO2018
Cubical informal type theory: the higher groupoid structure
Bruno Bentzen
Following a project of developing conventions and notations for informal type theory carried out in the homotopy type theory book for a framework built out of an augmentation of co…