Munich Center for Mathematical Philosophy (MCMP)

Breadcrumb Navigation


Talk: Guillermo Badia (Queensland)

Location: Ludwigstr. 31, ground floor, Room 021.

04.07.2019 18:00  – 20:00 


A Lindstrom theorem for intuitionistic propositional logic


In this talk I will show that propositional intuitionistic logic is the maximal (with respect to expressive power) abstract logic satisfying a certain form of compactness, the Tarski union property and preservation under asimulations. This result is the vein of Lindström's theorem characterizing first-order logic in terms of compactness and the Löwenheim-Skolem theorem.