Explosion and Cut Necessary

[Joseph Vidal-Rosset]

Le 20/05/2022 à 04:12, Harvey Friedman wrote:
> So what do we learn from Core Logic?

I don't know, because the paraconsistency claim makes Core logic 
inconsistent, as I prove it in this note just published here:

https://www.vidal-rosset.net/paraconsistent_tennants_logic_is_inconsistent.html

I do not see fallacy in this proof.

Comments are welcome, of course.

Best wishes,

Jo.