# The Core Logic Paradox

## TL;DR

This paper proves that Tennant's logical system, known as Core logic, entails a paradox called the Core logic paradox, highlighting a fundamental inconsistency within this logical framework.

## Contribution

It introduces and formally proves the existence of the Core logic paradox within Tennant's intuitionistic relevant logic system.

## Key findings

- Identification of the Core logic paradox in Tennant's system
- Formal proof demonstrating the paradox's entailment
- Implications for the consistency of Core logic

## Abstract

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.