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.
翻译:我们考虑一个以单位区间为真值、使用聚合函数替代量词的逻辑系统,并提出一种实现聚合函数渐近消去的通用方法;该方法间接实现了莫斯托夫斯基式广义量词的渐近消去,因为此类量词可通过聚合函数表达。聚合函数的"局部连续性"概念在该方法中起核心作用,我们以两种(相互关联的)方式对其进行了精确刻画。