论文标题
鲁滨逊一致性一阶逻辑的一致性
Robinson consistency in many-sorted hybrid first-order logics
论文作者
论文摘要
在本文中，由于省略类型的定理，我们证明了Robinson的一致性混合逻辑定理。该结果的重要推论是插值定理。
In this paper we prove a Robinson consistency theorem for a class of many-sorted hybrid logics as a consequence of an Omitting Types Theorem. An important corollary of this result is an interpolation theorem.
