Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors | Read Paper on Bytez