arXiv Open Access 2025

An axiomatization of truth and paradoxicality

Luca Castaldo

Lihat Sumber

Abstrak

This short note introduces a formal system of truth and paradoxicality, outlining the main motivation, and proving its $ω$-consistency. The system is called TP, for 'Truth and Paradoxicality'.

Topik & Kata Kunci

math.LO

Penulis (1)

Luca Castaldo

Format Sitasi

APA MLA BibTeX

Castaldo, L. (2025). An axiomatization of truth and paradoxicality. https://arxiv.org/abs/2509.06757

Akses Cepat

Lihat di Sumber

Informasi Jurnal

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