Paraconsistency, resolution and relevance

Michal Walicki, Sjur Dyrkolbotn

Digraphs provide an alternative syntax for propositional logic, with digraph kernels corresponding to classical models. Semikernels generalize kernels and we identify a subset of w…