Conservativity for Compositional Truth

For those interested in axiomatic truth theories, conservativity/conservativeness, deflationism, etc., here is a new article:
Graham Leigh (Oxford): "Conservativity for theories of compositional truth by cut-elimination"
giving a proof-theoretic proof of conservativity of the theory $\mathsf{CT}$ of compositional truth over certain theories of arithmetic.

(People vary in the word used: conservation, conservativeness, conservativity? All mean the same in these debates.)