Digraphs provide an alternative syntax for propositional logic, with digraph kernels corresponding to classical models. Semikernels generalize and we identify a subset of well-behaved semikernels that provides nontrivial models inconsistent theories, specializing the semantics consistent ones. Direct (instead refutational) reasoning resolution is sound complete this semantics, when augmented sp...

Syntax DL Syntax Semantics domain(u1, . . . , un) (u1, . . . , un) u D 1 × . . .× un

Distributed models of semantics assume that word meanings can be discovered from “the company they keep.” Many such approaches learn semantics from large corpora, with each document considered to be unstructured bags of words, ignoring syntax and compositionality within a document. In contrast, this paper proposes a structured vectorial semantic framework, in which semantic vectors are defined ...