Epub Natural Deduction: A Proof Theoretical Study