In this note we study a counterpart in predicate logic of the notion of logical friendliness, introduced into propositional logic in [15]. The result is a new consequence relation for predicate languages with equality using first-order models. While compactness, interpolation and axiomatizability fail dramatically, several other properties are preserved from the propositional case. Divergence is diminished when the language does not contain equality with its standard interpretation.

中文翻译：

---

一流的友善

在这篇文章中，我们研究了逻辑友好性概念的谓词逻辑中的对应项，该概念在[15]中被引入到命题逻辑中。结果是使用一阶模型为谓词语言提供了一种新的结果关系。虽然紧致性、插值性和公理化性显着失败，但命题案例中保留了其他几个属性。当语言不包含与其标准解释相同的内容时，分歧就会减少。