A Non-deterministic View on Non-classical Negations
Double-Negation Elimination in Some Propositional Logics
Negation in the Context of Gaggle Theory
Gentzen-Type Methods for Bilattice Negation
The Class of Extensions of Nelson's Paraconsistent Logic
A First Order Nonmonotonic Extension of Constructive Logic
Dual Intuitionistic Logic and a Variety of Negations
Contracting Intuitionistic Theories*
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation
Socratic Proofs and Paraconsistency
Contents of Volume 80