Interaction graphs: multiplicatives

DOI10.1016/j.apal.2012.04.005zbMath1252.03143arXiv1205.6558OpenAlexW1971681260MaRDI QIDQ714715

Thomas Seiller

Publication date: 11 October 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1205.6558

zbMATH Keywords

cut eliminationoperator algebrasproof theorydenotational semanticsproof netsgeometry of interactionmultiplicative linear logic

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Logarithmic space and permutations ⋮ Interaction graphs: graphings ⋮ Interaction graphs: additives ⋮ A correspondence between maximal abelian sub-algebras and linear logic fragments ⋮ Unnamed Item ⋮ Characterizingco-NLby a group action

Cites Work

• Geometry of interaction. V: Logic in the hyperfinite factor
• Linear logic
• Theory of operator algebras. II
• Theory of operator algebras. III
• On full abstraction for PCF: I, II and III
• Coherence in closed categories
• Determinant theory in finite factors
• Locus Solum: From the rules of logic to the logic of rules
• The Blind Spot
• Geometry of Interaction and linear combinatory algebras
• An Explicit Framework for Interaction Nets
• Theory of operator algebras I.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item