Event
Model of linear logic based on von Neumann modules
Tuesday, December 9, 2008 14:30
Burnside Hall
805 rue Sherbrooke Ouest, Montreal, QC, H3A 0B9, CA
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.