Cut elimination for systems of transparent truth with restricted initial sequents
From MaRDI portal
Publication:6342873
DOI10.1215/00294527-2021-0032zbMath1529.03270arXiv2006.07940MaRDI QIDQ6342873
Publication date: 14 June 2020
Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05)
This page was built for publication: Cut elimination for systems of transparent truth with restricted initial sequents