A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
Logic
2026-05-28 v4 Logic in Computer Science
Abstract
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.
Keywords
Cite
@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}
}