Logical Studies of Paraconsistent Reasoning in Science and MathematicsHolger AndreasUitverkochtVolgen