Carlo Nicolai

Cut elimination for systems of transparent truth with restricted initial sequents

2020 · arXiv (Cornell University)

The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display both a simple and intuitive model theory and remarkable proof-theoretic …