Munich Center for Mathematical Philosophy (MCMP)
print


Breadcrumb Navigation


Content

Talk: Guillermo Badia (Queensland)

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

04.07.2019 18:00  – 20:00 

Title:

A Lindstrom theorem for intuitionistic propositional logic

Abstract:

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.