Logical studies of paraconsistent reasoning in science and mathematics. ([2016])