Publication:4438105
From MaRDI portal
zbMath1034.03028MaRDI QIDQ4438105
Publication date: 9 December 2003
03B53: Paraconsistent logics
Related Items
A simple way to overcome hyperconnexivity, Proof theory of Nelson's paraconsistent logic: a uniform perspective, Falsification-aware semantics and sequent calculi for classical logic, Notes on Craig interpolation for LJ with strong negation