Linear logic, coherence and dinaturality

DOI10.1016/0304-3975(93)90053-VzbMath0782.18001MaRDI QIDQ685406

Richard F. Blute

Publication date: 25 October 1993

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

coherencepolymorphismmultiplicative linear logicproof-netsclosed categoriesdinaturalityEilenberg-Kelly-Mac Lane graphsgraph of natural transformation

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof theory in general (including proof-theoretic semantics) (03F03) Natural morphisms, dinatural morphisms (18A23) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

The shuffle Hopf algebra and noncommutative full completeness, Holomorphic models of exponential types in linear logic, On the \(\pi\)-calculus and linear logic, Coherence in SMCCs and equivalences on derivations in IMML with unit, \(*\)-autonomous categories of bimodules, Games and full completeness for multiplicative linear logic, Linear Läuchli semantics, Natural deduction and coherence for weakly distributive categories, Proof Nets, Coends and the Yoneda Isomorphism, Simple free star-autonomous categories and full coherence, G-dinaturality., Non-crossing Tree Realizations of Ordered Degree Sequences, A specification structure for deadlock-freedom of synchronous processes, Hopf algebras and linear logic, Categories for computation in context and unified logic, Linear logic, coherence and dinaturality, Proof nets and semi-star-autonomous categories, Softness of hypercoherences and MALL full completeness, Coherence for star-autonomous categories, Composing dinatural transformations: towards a calculus of substitution, The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem, On paradoxes in normal form, On Compositionality of Dinatural Transformations, ! and ? – Storage as tensorial strength, Unnamed Item, An internal language for autonomous categories

Cites Work

• Linear logic
• On natural transformations of distinguished functors and their superpositions in certain closed categories
• Languages for monoidal categories
• Linear logic, coherence and dinaturality
• Functorial polymorphism
• The structure of free closed categories
• The system \({\mathcal F}\) of variable types, fifteen years later
• Natural deduction and coherence for weakly distributive categories
• Coherence for compact closed categories
• Closed categories and the theory of proofs
• The geometry of tensor calculus. I
• The structure of multiplicatives
• A generalization of the functorial calculus
• Coherence in closed categories
• Polycategories
• From petri nets to linear logic
• Dinatural transformations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item