Paraconsistency in Mathematics

Paraconsistency was intended for use in mathematics, providing a rigorous framework for describing abstract objects and structures where some contradictions are allowed, without collapse into incoherence. This Element provides a selective introductory survey of this research program, distinguishing between `moderate' and `radical' approaches.