TY  - RPRT
TI  - The Craig Interpolation Property in First-order Gödel Logic
AU  - Seyed Mohammad Amin Khatami
AU  - Massoud Pourmahdian
AU  - Nazanin R. Tavana
PY  - 2023
UR  - https://arxiv.org/abs/2309.10860
ID  - 2309.10860
ER  -