research
∙
04/16/2023
A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
We consider a logic with truth values in the unit interval and which use...
share
research
∙
04/20/2022
On the relative asymptotic expressivity of inference frameworks
Let σ be a first-order signature and let 𝐖_n be the set of all σ-structu...
research
∙
06/18/2021
