An axiomatization of truth and paradoxicality
Logic
2025-09-09 v1
Abstract
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'.
Cite
@article{arxiv.2509.06757,
title = {An axiomatization of truth and paradoxicality},
author = {Luca Castaldo},
journal= {arXiv preprint arXiv:2509.06757},
year = {2025}
}