Proof-Theoretic Justification for Deduction and the Fundamental Assumption 이종현 고려대학교 논리연구 2024, vol.27, no.2,…