  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 relevant logic.

Logic