Tag
This paper develops a vector logic for formal semantics, characterizing when compressed vector representations allow exact linear or affine readouts of truth conditions, with experiments on GloVe and word2vec embeddings.