The Craig Interpolation Property in First-order Gödel Logic

Seyed Mohammad Amin Khatami, Massoud Pourmahdian, Nazanin R. Tavana

In this article, a model-theoretic approach is proposed to prove that the first-order Gödel logic, $\mathbf{G}$, as well as its extension ${\mathbf{G}}^{\Delta }$ associated with first-order…