A correspondence between maximal abelian sub-algebras and linear logic fragments. (28th July 2016)
- Record Type:
- Journal Article
- Title:
- A correspondence between maximal abelian sub-algebras and linear logic fragments. (28th July 2016)
- Main Title:
- A correspondence between maximal abelian sub-algebras and linear logic fragments
- Authors:
- SEILLER, THOMAS
- Abstract:
- Abstract : We show a correspondence between a classification of maximal abelian sub-algebras (MASAs) proposed by Jacques Dixmier (Dixmier 1954. Annals of Mathematics 59 (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 Science 412 (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.
- Is Part Of:
- Mathematical structures in computer science. Volume 28:Number 1(2018)
- Journal:
- Mathematical structures in computer science
- Issue:
- Volume 28:Number 1(2018)
- Issue Display:
- Volume 28, Issue 1 (2018)
- Year:
- 2018
- Volume:
- 28
- Issue:
- 1
- Issue Sort Value:
- 2018-0028-0001-0000
- Page Start:
- 77
- Page End:
- 139
- Publication Date:
- 2016-07-28
- Subjects:
- Computer science -- Mathematics -- Periodicals
004.015105 - Journal URLs:
- http://journals.cambridge.org/action/displayJournal?jid=MSC ↗
- DOI:
- 10.1017/S0960129516000062 ↗
- Languages:
- English
- ISSNs:
- 0960-1295
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 5503.xml