Paraconsistent Logic

• A contradiction does not imply anything whatsoever.

  • A contradiction in one subdomain does not corrupt another.

Previous slide

Next slide

Back to first slide

View graphic version