Geometry of interaction. V: Logic in the hyperfinite factor

DOI10.1016/J.TCS.2010.12.016zbMath1230.03093OpenAlexW2065359627MaRDI QIDQ534694

Jean-Yves Girard

Publication date: 10 May 2011

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2010.12.016

zbMATH Keywords

linear logicproof theoryoperator algebracomplexity theorylight logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (17)

Models of Linear Logic based on the Schwartz $\varepsilon$-product ⋮ Logarithmic space and permutations ⋮ Interaction graphs: graphings ⋮ Interaction graphs: additives ⋮ Partially traced categories ⋮ A correspondence between maximal abelian sub-algebras and linear logic fragments ⋮ Unnamed Item ⋮ Characterizingco-NLby a group action ⋮ Interaction graphs: multiplicatives ⋮ Unnamed Item ⋮ Rule-Following and the Limits of Formalization: Wittgenstein’s Considerations Through the Lens of Logic ⋮ Unary Resolution: Characterizing Ptime ⋮ Dynamic game semantics ⋮ A game-semantic model of computation ⋮ A MALL geometry of interaction based on indexed linear logic ⋮ Normativity in Logic ⋮ Transcendental syntax I: deterministic case

Cites Work

• Determinant theory in finite factors
• Locus Solum: From the rules of logic to the logic of rules
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Geometry of interaction. V: Logic in the hyperfinite factor