Classical linear logic of implications

DOI10.1017/S0960129504004621zbMath1069.03055OpenAlexW2166378962MaRDI QIDQ4675771

Masahito Hasegawa

Publication date: 6 May 2005

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

Full work available at URL: https://doi.org/10.1017/s0960129504004621

zbMATH Keywords

linear logiccomonads\(*\)-autonomous categoriesterm calculuscategory-theoretic modelsmultiplicative exponential fragment

Mathematics Subject Classification ID

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

Related Items (5)

Linear Exponential Comonads without Symmetry ⋮ LNL polycategories and doctrines of linear logic ⋮ How to prove decidability of equational theories with second-order computation analyser SOL ⋮ Unnamed Item ⋮ Light types for polynomial time computation in lambda calculus

This page was built for publication: Classical linear logic of implications