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.

翻译：我们考虑一种真值取自在单位区间[0,1]内、并使用聚合函数替代量词的逻辑系统，并描述了一种实现聚合函数渐近消去的通用方法，进而间接实现莫斯托夫斯基式广义量词的渐近消去——此类量词可通过聚合函数表达。聚合函数的“局部连续性”概念（我们通过两种相关方式加以精确刻画）在该方法中发挥着核心作用。