Abstract
In this article, a model-theoretic approach is proposed to prove that the first-order Gödel logic, G, as well as its extension GΔ associated with first-order relational languages enjoy the Craig interpolation property. These results partially provide an affirmative answer to a question posed in [1].
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have