[Back]


Publications in Scientific Journals:

G. Leigh:
"Conservativity for theories of compositional truth via cut elimination";
Journal of Symbolic Logic, 80 (2015), 3; 825 - 865.



English abstract:
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.

Keywords:
proof theory; cut elimination; axiomatic truth; compositional theory of truth


"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1017/jsl.2015.27


Created from the Publication Database of the Vienna University of Technology.