A Proof in Coq that Core Logic is not Paraconsistent

Mathematics > Logic [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. Current browse context: math.LO References & Citations Loading... Bibliographic and Citation Tools Bibliographic Explorer (What is the Explorer?) Connected Papers (What is Connected Papers?) Litmaps (What is Litmaps?) scite Smart Citations (What are Smart Citations?) Code, Data and Media Associated with this Article alphaXiv (What is alphaXiv?) CatalyzeX Code Finder for Papers (What is CatalyzeX?) DagsHub (What is DagsHub?) Gotit.pub (What is GotitPub?) Hugging Face (What is Huggingface?) ScienceCast (What is ScienceCast?) Demos Recommenders and Search Tools Influence Flower (What are Influence Flowers?) CORE Recommender (What is CORE?) arXivLabs: experimental projects with community collaborators Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.