#quantitative linear logic

topicquantitative linear logic

1 paper · 1 filter

cs.LO2026

Adequate Losses via Quantitative Linear Logic

Matteo Capucci, Robert Atkey, Charles Grellois +2

The paper proposes a family of quantitative linear logics (pQLL) that combine logical specifications with differentiable loss functions for neural components, proving cut‑eliminati…