Paraconsistent mathematics, sometimes called inconsistent mathematics, represents an attempt to develop the classical infrastructure of mathematics (e.g. analysis) based on a foundation of paraconsistent logic instead of classical logic.
A number of reformulations of analysis can be developed, for example functions which both do and do not have a given value simultaneously.
Chris Mortensen claims (see references):
This mathematical logic-related article is a stub.
You can help Wikipedia by expanding it.