TY  - RPRT
TI  - Conservativity for theories of compositional truth via cut elimination
AU  - Graham E. Leigh
PY  - 2013
UR  - https://arxiv.org/abs/1308.0168
ID  - 1308.0168
ER  -