Finite semantics for fragments of intuitionistic logic
Logic
2019-03-13 v1
Abstract
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.
Keywords
Cite
@article{arxiv.1903.04625,
title = {Finite semantics for fragments of intuitionistic logic},
author = {Felipe S. Albarelli and Rodolfo Ertola-Biraben},
journal= {arXiv preprint arXiv:1903.04625},
year = {2019}
}