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...
