论文标题
一阶友善
First-order friendliness
论文作者
论文摘要
在本说明中，我们研究了“逻辑友善”概念的谓词逻辑中的对应物，该概念在Makinson（2007）中引入了命题逻辑。结果是使用一阶模型的谓词语言的新结果关系。尽管紧凑性和插值巨大失败，但从命题案例中保留了其他特性。
In this note we study a counterpart in predicate logic of the notion of 'logical friendliness', introduced into propositional logic in Makinson (2007). The result is a new consequence relation for predicate languages using first-order models. Although compactness and interpolation fail dramatically, other properties are preserved from the propositional case.
