Categorical Semantics of Linear Logic for All

DOI10.1007/978-94-007-7548-0_9zbMATH Open1344.03051OpenAlexW1517840574WikidataQ56994467 ScholiaQ56994467MaRDI QIDQ5251192

V. C. V. de Paiva

Publication date: 22 May 2015

Published in: Trends in Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-7548-0_9

zbMATH Keywords

linear logiccategorical modeling

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

Unnamed Item ⋮ Enriching diagrams with algebraic operations

This page was built for publication: Categorical Semantics of Linear Logic for All