Published in

Cambridge University Press, Mathematical Structures in Computer Science, 1(28), p. 77-139, 2016

DOI: 10.1017/s0960129516000062

Links

Tools

Export citation

Search in Google Scholar

A Correspondence between Maximal Abelian Sub-Algebras and Linear Logic Fragments

Journal article published in 2014 by Thomas Seiller ORCID
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Green circle
Preprint: archiving allowed
Upload
Red circle
Postprint: archiving forbidden
Red circle
Published version: archiving forbidden
Policy details
Data provided by SHERPA/RoMEO

Abstract

We show a correspondence between a classification of maximal abelian sub-algebras (MASAs) proposed by Jacques Dixmier (Dixmier 1954.Annals of Mathematics59(2) 279–286) and fragments of linear logic. We expose for this purpose a modified construction of Girard's hyperfinite geometry of interaction (Girard 2011.Theoretical Computer Science412(20) 1860–1883). The expressivity of the logic soundly interpreted in this model is dependent on properties of a MASA which is a parameter of the interpretation. We also unveil the essential role played by MASAs in previous geometry of interaction constructions.