2 papers
math.LO2025
An axiomatization of truth and paradoxicality
Luca Castaldo
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 Par…
math.LO2025
On Classical Determinate Truth
Luca Castaldo, Carlo Nicolai
The paper proposes and studies new classical, type-free theories of truth and determinateness with unprecedented features. The theories are fully compositional, strongly classical…