The most natural paradefinite logic relative to classical logic

C. A. Middelburg

A paradefinite logic is a logic that can serve as the underlying logic for theories that are inconsistent or incomplete. A well-known paradefinite logic is Belnap-Dunn logic. Vario…