Zeitschriftenartikel:
G. Leigh:
"Conservativity for theories of compositional truth via cut elimination";
Journal of Symbolic Logic,
80
(2015),
3;
S. 825
- 865.
Kurzfassung englisch:
We present a cut elimination argument that witnesses the conservativity of the compositional axioms for truth (without the extended induction axiom) over any theory interpreting a weak subsystem of arithmetic. In doing so we also fix a critical error in Halbach´s original presentation. Our methods show that the admission of these axioms determines a hyper-exponential reduction in the size of derivations of truth-free statements.
Schlagworte:
proof theory; cut elimination; axiomatic truth; compositional theory of truth
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1017/jsl.2015.27
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.