Constructive negations and paraconsistency - Odintsov, S. D (Springer Netherlands, 2008)