2 papers
math.LO2025
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…
cs.LO2024
On the relative asymptotic expressivity of inference frameworks
Vera Koponen, Felix Weitkämper
We consider logics with truth values in the unit interval . Such logics are used to define queries and to define probability distributions. In this context the notion of alm…