Finite semantics for fragments of intuitionistic logic

11 Mar 2019 · Albarelli Felipe S., Ertola-Biraben Rodolfo ·

In 1932, G\"odel 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 semantics exists. We may fulfill a didactic goal, as little logic and algebra are presupposed.