We prove Robinson consistency theorem as well as Craig, Lyndon and Herbrand interpolation theorems in linear continuous logic.

中文翻译：

---

线性连续逻辑中的一致性和插值

我们在线性连续逻辑中证明了 Robinson 一致性定理以及 Craig、Lyndon 和 Herbrand 插值定理。