“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 17686 |
|
| 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].
Download TeX format |
|
| back to top | |
