{"id":"arxiv/2601.04081","url":"https://arxiv.org/abs/2601.04081","tags":["math.LO","cs.LO"],"score":0,"title":"The most natural paradefinite logic relative to classical logic","domain":"math.LO","source":"arxiv","authors":["C. A. Middelburg"],"reviews":0,"subject":"math.LO","summary":"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. Various expansions of Belnap-Dunn logic have been studied in the literature. In this note, it is argued that the most natural paradefinite logic relative to classical logic is the expansion of Belnap-Dunn logic with a falsity connective and an implication connective for which the standard deduction theorem holds.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-07","reactions":{}}