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. read more

PDF Abstract
No code implementations yet. Submit your code now