カット除去定理の証明

Mathematical Logic Advent Calender 2019 一日目の記事です.

adventar.org

片側推件計算に対するカット除去定理の証明です.

drive.google.com