Gödel Homomorphisms as Gödel Modal Operators
Oliver Fasching · Fundamenta Informaticae · 2013
We extend propositional Gödel logic by a unary modal operator, which we interpret as Gödel homomorphisms, i.e. functions [0, 1] → [0, 1] that distribute over the interpretations of the binary connectives of Gödel logic. We show weak completeness of t