Double-Negation Elimination in Some Propositional Logics Michael BeesonRobert VeroffLarry Wos OriginalPaper Pages: 195 - 234
The Class of Extensions of Nelson's Paraconsistent Logic Sergei P. Odintsov OriginalPaper Pages: 291 - 320
A First Order Nonmonotonic Extension of Constructive Logic David PearceAgustín Valverde OriginalPaper Pages: 321 - 346
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research Yaroslav Shramko OriginalPaper Pages: 347 - 367
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation Dimiter Vakarelov OriginalPaper Pages: 393 - 430
Socratic Proofs and Paraconsistency: A Case Study Andrzej WiśniewskiGuido VanackereDorota Leszczyńska OriginalPaper Pages: 431 - 466