works on
coq 1core logic 1formal verification 1lean 1paraconsistency 1proof assistants 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

math.LO2026

A Proof in Coq that Core Logic is not Paraconsistent

Joseph Vidal-Rosset

The paper formalizes a fragment of Tennant's Core logic in Coq and Lean, proving that Core logic is not paraconsistent and exposing a contradiction in its claimed overlap with mini…