works on
cut elimination 1differentiable loss functions 1neuro-symbolic integration 1quantitative linear logic 1soft residuated lattices 1

From the 1 of 8 linked papers with an AI index.

activity
20242026
collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2025

On Quantifiers for Quantitative Reasoning

Matteo Capucci

We explore a kind of first-order predicate logic with intended semantics in the reals. Compared to other approaches in the literature, we work predominantly in the multiplicative r…