Jump to content

Paraconsistent mathematics

Edit links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 137.111.13.34 (talk) at 23:29, 28 October 2004. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Paraconsistent 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.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Paraconsistent_mathematics&oldid=7793124"