Compactness in propositional Gödel logic

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.