9 December 2008
2:30 - 4:00   I Ivanov
Model of Linear Logic based on von Neumann modules

We build a model of the multiplicative additive fragment of Linear Logic with von Neumann algebras and their modules. The axioms are represented by von Neumann algebras in standard form, the multiplicative connectives are related to tensor product and the additive connectives to direct sum of algebras.