A basic system of paraconsistent Nelsonian logic of conditionals
{{output}}
We define a Kripke semantics for a conditional logic based on the propositional logic N 4 , the paraconsistent variant of Nelson's logic of strong negation; we axiomatize the minimal system induced by this semantics. The resulting logic, which we call N 4 CK ... ...
