Paraconsistency, resolution and relevance
From MaRDI portal
Publication:6320178
DOI10.26686/AJL.V19I3.6471arXiv1906.03476MaRDI QIDQ6320178FDOQ6320178
Authors: Michał Walicki, Sjur Dyrkolbotn 
Publication date: 8 June 2019
Abstract: Digraphs provide an alternative syntax for propositional logic, with digraph kernels corresponding to classical models. Semikernels generalize kernels and we identify a subset of well-behaved semikernels that provides nontrivial models for inconsistent theories, specializing to the classical semantics for the consistent ones. Direct (instead of refutational) reasoning with classical resolution is sound and complete for this semantics, when augmented with a specific weakening which, in particular, excludes Ex Falso. Dropping all forms of weakening yields reasoning which also avoids typical fallacies of relevance.
This page was built for publication: Paraconsistency, resolution and relevance
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6320178)
