Quantitative Equality in Substructural Logic via Lipschitz Doctrines
Substructural logics naturally support a quantitative interpretation of formulas, as they are seen as consumable resources. Distances are the quantitative counterpart of equivalence relations: they measure how much two objects are similar, rather than just saying whether they are equivalent or not....
| Published in: | Logical Methods in Computer Science |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | English |
| Published: |
Logical Methods in Computer Science e.V.
2025-01-01
|
| Subjects: | |
| Online Access: | http://lmcs.episciences.org/10396/pdf |