Truth and paradox: a (mostly) proof-theoretic investigation