Title: Proof Reconstruction in Classical and Non-Classical Logics