Abstract:
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.