We consider a logic with truth values in the unit interval and which uses aggregation functions instead of quantifiers, and we describe a general approach to asymptotic elimination of aggregation functions and, indirectly, of asymptotic elimination of Mostowski style generalized quantifiers, since such can be expressed by using aggregation functions. The notion of ``local continuity'' of an aggregation function, which we make precise in two (related) ways, plays a central role in this approach.
翻译:我们考虑一种具有单位间隔中的真值的逻辑,该逻辑使用聚合函数而不是量词,我们描述了一种一般的方法来消除聚合函数和间接消除Mostowski类型的广义量词,因为这些广义量词可以通过使用聚合函数来表示。 “局部连续性”这一概念在这种方法中起着重要作用,我们以两种(相关的)方式精确地描述了它。