Finite semantics for fragments of intuitionistic logic

2019/03/11 by Albarelli, Felipe S., Ertola-Biraben, Rodolfo
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1903.04625

Abstract

In 1932, Gödel 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.

Related

• Choice and independence of premise rules in intuitionistic set theory
• Classical logic and intuitionistic logic: equivalent formulations in natural deduction, Gödel-Kolmogorov-Glivenko translation
• Mathematical semantics of intuitionistic logic
• An interpolant in predicate Gödel logic
• Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic