nLab paraconsistent arithmetic

Contents

Context

Model theory

Arithmetic

Contents

Idea

A paraconsistent arithmetic is a model of arithmetic in paraconsistent mathematics, mostly using first-order paraconsistent logic. Also called inconsistent arithmetic.

See also

References

  • Manuel Bremer, Inconsistent Mathematics, (slides)

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