A correspondence between maximal abelian sub-algebras and linear logic fragments

DOI10.1017/S0960129516000062zbMath1456.03105arXiv1408.2125OpenAlexW3101432207MaRDI QIDQ4599613

Thomas Seiller

Publication date: 4 January 2018

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Interaction graphs: graphings, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logarithmic space and permutations
• Geometry of interaction. V: Logic in the hyperfinite factor
• Linear logic
• Interaction graphs: multiplicatives
• A categorical model for the geometry of interaction
• Interaction graphs: additives
• Reversible, irreversible and optimal \(\lambda\)-machines
• On full abstraction for PCF: I, II and III
• Values of the Pukánszky invariant in McDuff factors
• On rings of operators
• On rings of operators. III
• On rings of operators. Reduction theory
• Equivalence of totally finite measures on infinite product spaces
• Sous-anneaux abéliens maximaux dans les facteurs de type fini
• On some algebraical properties of operator rings
• On rings of operators. IV
• Locus Solum: From the rules of logic to the logic of rules
• Unary Resolution: Characterizing Ptime
• The geometry of linear higher-order recursion
• A Survey of Classical Realizability
• On Maximal Abelian Subrings of Factors of Type II
• TAUER MASAS IN THE HYPERFINITE II1 FACTOR
• An amenable equivalence relation is generated by a single transformation
• The standard form of von Neumann algebras.
• Ergodic Equivalence Relations, Cohomology, and Von Neumann Algebras. I
• Ergodic Equivalence Relations, Cohomology, and Von Neumann Algebras. II
• Geometry of Interaction and linear combinatory algebras
• A continuous path of singular masas in the hyperfinite II₁factor
• Krivine's classical realisability from a categorical perspective
• On Groups of Measure Preserving Transformations. II
• Characterizingco-NLby a group action
• Typed lambda-calculus in classical Zermelo-Fraenkel set theory
• Theory of operator algebras I.