Paraconsistent Reasoning: Logical Studies in Science and Mathematics