A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910265166004224 |
|---|---|
| author | Koponen, Vera Weitkämper, Felix |
| author_facet | Koponen, Vera Weitkämper, Felix |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2304_07865 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | A general approach to asymptotic elimination of aggregation functions and generalized quantifiers Koponen, Vera Weitkämper, Felix Logic Logic in Computer Science O3C13, 03B50, 03C10, 03C80 F.4.1 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. |
| title | A general approach to asymptotic elimination of aggregation functions and generalized quantifiers |
| topic | Logic Logic in Computer Science O3C13, 03B50, 03C10, 03C80 F.4.1 |
| url | https://arxiv.org/abs/2304.07865 |