arXiv Analytics

Sign in

arXiv:1903.04625 [math.LO]AbstractReferencesReviewsResources

Finite semantics for fragments of intuitionistic logic

Felipe S. Albarelli, Rodolfo Ertola-Biraben

Published 2019-03-11Version 1

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.

Categories: math.LO
Related articles: Most relevant | Search more
arXiv:2208.14715 [math.LO] (Published 2022-08-31)
Intuitionistic Logic is a Connexive Logic
arXiv:1211.1850 [math.LO] (Published 2012-11-08)
Copies of classical logic in intuitionistic logic
arXiv:1202.3519 [math.LO] (Published 2012-02-16, updated 2012-04-02)
Failure of interpolation in the intuitionistic logic of constant domains

Links

Toolbox