Paraconsistent View PDF HTML
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
A Proof in Coq that Core Logic is not Paraconsistent
[Submitted on 4 Jun 2026] Title:A Proof in Coq that Core Logic is not Paraconsistent View PDF HTML (experimental)Abstract:First, this paper proves that Tennant's two claims (i.e. that his own logical system is paraconsistent, and that it overlaps minimal logic) are both false. Second, this proof is certified with Coq.