Logical Studies of Paraconsistent Reasoning in Science and Mathematics