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)
1
question
5
votes
2
answers
168
views
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{...
- 2,711