Norihiro Kamide Natural deduction systems for Nelson's paraconsistent logic and its neighbors. 405-435 2005 15 Journal of Applied Non-Classical Logics 4 db/journals/jancl/jancl15.html#Kamide05