Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Albarelli, Felipe S."'
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 algebr
Externí odkaz:
http://arxiv.org/abs/1903.04625