Paraconsistent mathematics (sometimes called inconsistent mathematics ) represents an attempt to develop the classical infrastructure of mathematics (e.g. theory of analysis) based on a foundation of paraconsistent logic instead of classical logic. A number of interesting reformulations of analysis can be developed, for example functions which both do and do not have a given value simultaneously.

See: paraconsistent analysis.

Reference

The main book on this topic is:

• Inconsistent Mathematics, by Chris Mortensen, Dordrecht, Kluwer Academic Publishers, 1995 Kluwer Mathematics and Its Applications Series, Vol 312 ISBN 0-7923-3186-9

External links

• Entry in the Stanford Encyclopedia of Philosophy [1]
• Lecture by Manuel Bremer of the University of Düsseldorf [2]