2 papers
math.LO2026
A Proof in Coq that Core Logic is not Paraconsistent
Joseph Vidal-Rosset
Tennant claims that his Core logic is paraconsistent. It means that the sequent of the First Lewis Paradox, i.e. is declared false, and its corre…
math.LO2019
The Core Logic Paradox
Joseph Vidal-Rosset
This paper provides a proof that Tennant's logical system entails a paradox that is called Core logic paradox, in reference to the new name given by Tennant to his intuitionistic r…