Constructive negations and paraconsistency (2008)