Nelson's paraconsistent logics
Seiki Akama · Logic and Logical Philosophy · 2004
. David Nelson’s constructive logics with strong negation may be viewed as alternative paraconsistent logic. These logics have been developed before da Costa’s works. We address some philosophical aspects of Nelson’s logics and give technical results concerning Kripke models and tableau calculi. We also suggest possible applications of paraconsistent constructive logics.