1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
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…