Kurt Gödel Research Center

2013 seminar talk: First order Goedel logics

Talk held by Massoud Pourmahdian (IPM, Tehran, Iran) at the KGRC seminar on 2013-01-31.

Abstract

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.