The Craig Interpolation Property in First-order G\"odel Logic
From MaRDI portal
Publication:6451810
arXiv2309.10860MaRDI QIDQ6451810
Nazanin R. Tavana, Seyed Mohammad Amin Khatami, Massoud Pourmahdian
Publication date: 19 September 2023
03B52: Fuzzy logic; logic of vagueness
03B50: Many-valued logic
03C40: Interpolation, preservation, definability