聚合函数与广义量词渐近消去的一般方法
逻辑
2026-05-28 v4 计算机科学中的逻辑
摘要
我们考虑一种真值在单位区间内且使用聚合函数代替量词的逻辑，并描述一种聚合函数渐近消去的一般方法，进而间接给出Mostowski风格广义量词的渐近消去，因为此类量词可用聚合函数表达。聚合函数的“局部连续性”概念在本方法中起核心作用，我们以两种(相关的)方式对其进行了精确化。
引用
@article{arxiv.2304.07865,
title = {A general approach to asymptotic elimination of aggregation functions and generalized quantifiers},
author = {Vera Koponen and Felix Weitkämper},
journal= {arXiv preprint arXiv:2304.07865},
year = {2026}
}