A general approach to asymptotic elimination of aggregation functions and generalized quantifiers

04/16/2023
by   Vera Koponen, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset