将连续微积分证明有效转化为自然演绎证明 电子书下载

原名:Efficient Translation of Sequent Calculus Proofs Into Natural Deduction Proofs
作品简介:多重后续演算 LK 到自然演绎。本翻译旨在通过拨款 S11403-N23（国家研究网络 etimport.pdf）获得奥地利科学基金 (FWF) 的支持。7. Gabriel Ebner……