Constructive Negations and Paraconsistency (Springer Netherlands, 2008)