Follow
The Craig Interpolation Property in First-order G\"odel Logic. (arXiv:2309.10860v1 [math.LO]) http://arxiv.org/abs/2309.10860
The Craig Interpolation Property in First-order G\"odel Logic. (arXiv:2309.10860v1 [math.LO]) http://arxiv.org/abs/2309.10860