Stav dette: Constructive Negations and Paraconsistency