A correspondence between maximal abelian sub-algebras and linear logic fragments
From MaRDI portal
Publication:4599613
DOI10.1017/S0960129516000062zbMath1456.03105arXiv1408.2125OpenAlexW3101432207MaRDI QIDQ4599613
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
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
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 II1factor
- 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.