nLab paraconsistent mathematics




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

See also


  • 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:

Last revised on June 4, 2022 at 01:10:00. See the history of this page for a list of all contributions to it.