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

Vera Koponen, Felix Weitkämper

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…