arXiv Open Access 2026

The most natural paradefinite logic relative to classical logic

C. A. Middelburg

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

math.LO cs.LO

Penulis (1)

C. A. Middelburg

Format Sitasi

APA MLA BibTeX

Middelburg, C.A. (2026). The most natural paradefinite logic relative to classical logic. https://arxiv.org/abs/2601.04081

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2026
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓