Linear logic, coherence and dinaturality

DOI10.1016/0304-3975(93)90053-VzbMATH Open0782.18001MaRDI QIDQ685406FDOQ685406

Authors: Richard Blute 

Publication date: 25 October 1993

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

Recommendations

• Coherence of proof-net categories
• Coherence in linear predicate logic
• scientific article; zbMATH DE number 2134910
• scientific article; zbMATH DE number 517045
• Natural deduction and coherence for weakly distributive categories

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (44)

• On stability of exactness properties under the pro-completion
• Specification structures and propositions-as-types for concurrency
• G-dinaturality.
• Applications of methods of proof theory in category theory.
• Equality of proofs for linear equality
• Coherence in linear predicate logic
• Coherence in SMCCs and equivalences on derivations in IMML with unit
• A specification structure for deadlock-freedom of synchronous processes
• A categorical reduction system for linear logic
• Linear Läuchli semantics
• Non-crossing tree realizations of ordered degree sequences
• Proof nets and semi-star-autonomous categories
• Coherence of proof-net categories
• Composing dinatural transformations: towards a calculus of substitution
• Title not available (Why is that?)
• An internal language for autonomous categories
• On linear Brouwerian logics
• Title not available (Why is that?)
• Holomorphic models of exponential types in linear logic
• Categories for computation in context and unified logic
• On the \(\pi\)-calculus and linear logic
• Softness of hypercoherences and MALL full completeness
• Proof nets, coends and the Yoneda isomorphism
• Coherence for star-autonomous categories
• \(*\)-autonomous categories of bimodules
• Title not available (Why is that?)
• Monoidal streams for dataflow programming
• Some Syntactical Observations on Linear Logic
• \(\ast\)-autonomous envelopes and conservativity
• Games and full completeness for multiplicative linear logic
• Hopf algebras and linear logic
• ! and ? – Storage as tensorial strength
• Acyclicity and Coherence in Multiplicative Exponential Linear Logic
• Simple free star-autonomous categories and full coherence
• Title not available (Why is that?)
• Natural deduction and coherence for weakly distributive categories
• Title not available (Why is that?)
• Coherence in inquisitive first-order logic
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
• The shuffle Hopf algebra and noncommutative full completeness
• On paradoxes in normal form
• Title not available (Why is that?)
• On Compositionality of Dinatural Transformations
• Linear logic, coherence and dinaturality

This page was built for publication: Linear logic, coherence and dinaturality

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