1 paper
Felipe S. Albarelli, Rodolfo Ertola-Biraben
In 1932, Gödel proved that there is no finite semantics for intuitionistic logic. We consider all fragments of intuitionistic logic and check in each case whether a finite semantic…