Geometry of interaction. V: Logic in the hyperfinite factor

DOI10.1016/J.TCS.2010.12.016zbMATH Open1230.03093OpenAlexW2065359627MaRDI QIDQ534694FDOQ534694

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Locus solum: From the rules of logic to the logic of rules.
• Determinant theory in finite factors
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (20)

• Logarithmic space and permutations
• A game-semantic model of computation
• Rule-following and the limits of formalization: Wittgenstein's considerations through the lens of logic
• Interaction graphs: multiplicatives
• Interaction graphs: additives
• Zeta functions and the (linear) logic of Markov processes
• Title not available (Why is that?)
• 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
• Transcendental syntax I: deterministic case
• Interaction graphs: graphings
• Partially traced categories
• Characterizingco-NLby a group action
• Models of Linear Logic based on the Schwartz $\varepsilon$-product
• Coherent interaction graphs
• Title not available (Why is that?)
• 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)