Quantitative Linear Logic

MaRDI QIDQ7249038arXivFDO

Authors Robert Atkey, Charles Grellois, Ekaterina Komendantskaya

Publication date 2026

Published in arXiv

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Fuzzy logic; logic of vagueness (03B52) Cut-elimination and normal-form theorems (03F05) Logic in artificial intelligence (68T27)

arXiv classification

cs.LO

This page was built for publication: Quantitative Linear Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7249038)