The logic of linear functors

DOI10.1017/S0960129502003717MaRDI QIDQ4792946zbMATH OpenFDO

Authors R. A. G. Seely, Richard Blute, J. R. B. Cockett

Publication date 5 October 2003

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

categorical semanticscut eliminationaffine bunched logicfunctor logiclinear distributive functorlinear modal logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30)

Recommendations

• scientific article; zbMATH DE number 2134910
• Categorical approaches to non-commutative fuzzy logic
• scientific article; zbMATH DE number 5000963
• Noncommutative linear logic and its quantale semantics
• scientific article; zbMATH DE number 2079022

Cited in

(5)

• A categorical semantics for polarized MALL
• scientific article; zbMATH DE number 4057482 (Why is no real title available?)
• scientific article; zbMATH DE number 7561616 (Why is no real title available?)
• Multiplicative linear logics and fibrations
• Fun with semirings

This page was built for publication: The logic of linear functors

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