First Order Logic with Tensors This is an implemetation of Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors (Grefenstette, 2013) See the jupyter notebook for a small sample.