Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors