Quantitative Equality in Substructural Logic via Lipschitz Doctrines

Francesco Dagnino, Fabio Pasquali

Substructural logics naturally support a quantitative interpretation of formulas, as they are seen as consumable resources. Distances are the quantitative counterpart of equivalenc…