drive.google.com フル線形論理のカット除去定理の証明をそこそこ詳しく書きました…。古典論理や直観主義論理のカット除去定理をある程度知っている人向け。 ↓参照文献 数理論理学 (現代基礎数学) 作者:鹿島 亮 朝倉書店 Amazon Lectures on Linear Logic (L…