Proof nets and semi-star-autonomous categories

DOI10.1017/S0960129514000395zbMATH Open1362.03052MaRDI QIDQ5741579FDOQ5741579

Authors: Willem Heijltjes, Lutz Straßburger 

Publication date: 28 July 2016

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

Recommendations

• From Proof Nets to the Free *-Autonomous Category
• Coherence of proof-net categories
• Generalised Proof-Nets for Compact Categories with Biproducts
• *-Autonomous categories and linear logic
• Proof-net categories
• Homology of proof-nets
• Proof-oriented categorical semantics
• Automating Proofs in Category Theory
• Closed categories, star-autonomy, and monoidal comonads
• A mechanically assisted constructive proof in category theory

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Cites Work

• The geometry of tensor calculus. I
• Title not available (Why is that?)
• Linear logic
• Weakly distributive categories
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• On closed categories of functors
• Natural deduction and coherence for weakly distributive categories
• The structure of multiplicatives
• Simple free star-autonomous categories and full coherence
• Coherence of proof-net categories
• *-Autonomous categories and linear logic
• Coherence in closed categories
• Linear logic, coherence and dinaturality

Cited In (5)

• Coherence in linear predicate logic
• Title not available (Why is that?)
• Generalised Proof-Nets for Compact Categories with Biproducts
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
• From Proof Nets to the Free *-Autonomous Category

This page was built for publication: Proof nets and semi-star-autonomous categories

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