pith. sign in

arxiv: 2304.07865 · v4 · pith:IUNZFJWNnew · submitted 2023-04-16 · 🧮 math.LO · cs.LO

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

classification 🧮 math.LO cs.LO
keywords aggregationfunctionsapproachasymptoticeliminationquantifiersgeneralgeneralized
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.