Questions tagged [paraconsistent]

A paraconsistent logic is a logic in which it can happen that a contradiction is true, in the sense that both A and ¬A hold for some proposition A, without the logic becoming trivial in the sense that all propositions are true. (from nLab)

Filter by
Sorted by
Tagged with
5 votes
2 answers

Are there any provers based on a paraconsistent logic?

This question talks about controlled usage of a self-containing top type satisfying $\text{type}\! : \text{type}$. I'm wondering if there are any provers that deliberately give $\text{type}\!: \text{...
Greg Nisbet's user avatar
  • 2,711