nLab paraconsistent mathematics

Idea

Paraconsistent mathematics is mathematics done with paraconsistent logic. Also called inconsistent mathematics.

See also

• paraconsistent logic

• paraconsistent arithmetic

• finite mathematics

References

• Manuel Bremer, Inconsistent Mathematics, (slides)

• McKubre-Jordens, M. and Weber, Z. (2012). “Real analysis in paraconsistent logic”. Journal of Philosophical Logic 41 (5):901–922. doi:10.1017/S1755020309990281

• Mortensen, C. (1995). Inconsistent Mathematics. Dordrecht: Kluwer. ISBN:0-7923-3186-9

• Weber, Z. (2010). “Transfinite numbers in paraconsistent set theory”. Review of Symbolic Logic 3 (1):71–92. doi:10.1017/S1755020309990281

See also:

• Wikipedia, Paraconsistent mathematics

• Stanford Encyclopedia of Philosophy, Inconsistent Mathematics