A formal system for reasoning about assertibility, truth, and meaningfulness
arXiv:2510.07641
Abstract
We propose axioms governing the interaction of constructive assertibility and meaningfulness predicates with a self-applicative truth predicate characterized by the T-scheme, and we prove the consistency of the resulting formal system.
10 pages