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].

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call