Geometry of interaction. V: Logic in the hyperfinite factor

DOI10.1016/J.TCS.2010.12.016MaRDI QIDQ534694zbMATH OpenOpenAlexFDO

Authors 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

complexity theoryproof theorylinear logicoperator algebralight logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 785046
• A categorical model for the geometry of interaction
• Publication:4204146
• Interaction graphs: multiplicatives
• Towards a typed geometry of interaction

Cites work

• scientific article; zbMATH DE number 4179372 (Why is no real title available?)
• scientific article; zbMATH DE number 4099289 (Why is no real title available?)
• scientific article; zbMATH DE number 4123722 (Why is no real title available?)
• scientific article; zbMATH DE number 1074568 (Why is no real title available?)
• scientific article; zbMATH DE number 786500 (Why is no real title available?)
• scientific article; zbMATH DE number 936297 (Why is no real title available?)
• scientific article; zbMATH DE number 5038458 (Why is no real title available?)
• Determinant theory in finite factors
• Locus solum: From the rules of logic to the logic of rules.

Cited in

(20)

• Logarithmic space and permutations
• A game-semantic model of computation
• Interaction graphs: multiplicatives
• Rule-following and the limits of formalization: Wittgenstein's considerations through the lens of logic
• Interaction graphs: additives
• Zeta functions and the (linear) logic of Markov processes
• scientific article; zbMATH DE number 785046 (Why is no real title available?)
• Semantics for a lambda calculus for string diagrams
• Normativity in logic
• Dynamic game semantics
• A correspondence between maximal abelian sub-algebras and linear logic fragments
• A \(\mathsf{MALL}\) geometry of interaction based on indexed linear logic
• Interaction graphs: graphings
• Transcendental syntax I: deterministic case
• Partially traced categories
• Characterizingco-NLby a group action
• Models of Linear Logic based on the Schwartz $\varepsilon$-product
• Coherent interaction graphs
• scientific article; zbMATH DE number 6917940 (Why is no real title available?)
• Unary resolution: characterizing \textsc{Ptime}

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

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