Logic and Logical Philosophy Volume 7 (1999), 101–115

Abstract. 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 cal-culi. We also suggest possible applications of paraconsistent constructive logics. 1