In this talk I will talk on different notions of compactness in first order Goedel logic. Then I consider an extension of first order Goedel logic by adding the rational numbers as logical constants. Some model theory is developed for this logic and in particular the Robinson consistency theorem is shown for this extension. I also give some general comments as how to define the metric Goedel logic similar to metric (Lukasewicz) logic.
First order Goedel logics
31.01.2013 15:00 - 16:30
Organiser:
KGRC
Location:
SR 101, 2. St., Währinger Str. 25