3 ms·
Why is linear logic called linear? What is the connection to the usual idea of linearity?
by canjobear 7y ago
Why is linear logic called linear? What is the connection to the usual idea of linearity?
- nabla9 7y agoThe semantics resembles structures from linear algebra. Linear logic was initially seen as a linear algebra built on coherent spaces. A coherent space is a reflexive undirected graph. Alternatively: The category of finite dimensional vector spaces over finite fields is a model of linear logic. http://www.cs.bham.ac.uk/~drg/bll/steve.pdf http://www.cs.bham.ac.uk/~drg/bll/steve.pdf