Seyed Mohammad Amin Khatam - Department of Computer Science, Birjand University of Technology, Birjand, Iran
Ghasem Khakshoor - Department of Mathematics,Technical and Vocational university(TVU),Tehran,Iran

In this article, firstly we have a review on Gödel logic and the famous theorems of completeness and compactness. Then we have an examine around axiomatizability of Gödel logic. Finally, we introduce a dual semantics for Gödel logic and introduce some new results around this issue.

Gödel logic, fuzzy logic, metric semantics, completeness theorem, compactness theorem.