A categorical reduction system for linear logic

MaRDI QIDQ5137919zbMATH OpenFDO

Authors Ryu Hasegawa

Publication date 3 December 2020

Full work available at URL https://arxiv.org/abs/1912.00629, http://www.tac.mta.ca/tac/volumes/35/50/35-50abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

linear logicrewriting systemtype theory

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Grammars and rewriting systems (68Q42)

Recommendations

• Linear logic, coherence and dinaturality
• Natural deduction and coherence for weakly distributive categories
• Proof diagrams for multiplicative linear logic: syntax and semantics
• Diagram chasing in Mal'cev categories
• A linear category of polynomial diagrams

Cites work

• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Categorical combinators
• Categorical logic and type theory
• Coherence in closed categories
• Confluence of Pure Differential Nets with Promotion
• Functors between tensored categories
• scientific article; zbMATH DE number 431765 (Why is no real title available?)
• scientific article; zbMATH DE number 4085643 (Why is no real title available?)
• scientific article; zbMATH DE number 193320 (Why is no real title available?)
• scientific article; zbMATH DE number 515728 (Why is no real title available?)
• scientific article; zbMATH DE number 742718 (Why is no real title available?)
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• Linear logic
• Natural deduction and coherence for weakly distributive categories
• No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• Relating categorical semantics for intuitionistic linear logic
• Simple free star-autonomous categories and full coherence
• The categorical abstract machine
• The optimal implementation of functional programming languages
• Weakly distributive categories

Cited in

(7)

• Physics, Topology, Logic and Computation: A Rosetta Stone
• scientific article; zbMATH DE number 431765 (Why is no real title available?)
• scientific article; zbMATH DE number 4202257 (Why is no real title available?)
• A Terminating and Confluent Linear Lambda Calculus
• Deduction as reduction, from a categorical point of view
• scientific article; zbMATH DE number 910440 (Why is no real title available?)
• A method for mechanically diagram chasing

This page was built for publication: A categorical reduction system for linear logic

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