2023-01-05 フル線形論理のカット除去定理の証明 線形論理（ジラール） drive.google.com フル線形論理のカット除去定理の証明をそこそこ詳しく書きました…。古典論理や直観主義論理のカット除去定理をある程度知っている人向け。 ↓参照文献 数理論理学 (現代基礎数学) 作者:鹿島 亮 朝倉書店 Amazon Lectures on Linear Logic (Lecture Notes Book 29) (English Edition) 作者:Troelstra, A. S. Center for the Study of Language and Inf Amazon
