Notes
Notes
個人用の備忘録を載せています．不備等あれば教えてください．
直観主義論理では選言特性・存在特性と呼ばれる構成主義的に重要な性質が成り立つ．直観主義論理の選言特性と存在特性の証明とその一般化について記した．
種々の補間定理の証明のために使われている Maehara's method についての勉強メモ．Maehara's method を用いて，古典論理・直観主義論理の Craig Interpolation theorem を示した．
数理論理学の基本的な体系の一つであるシークエント計算 LK, LJを導入し，基本定理であるカット除去定理の証明の概略と，その応用について紹介したスライド．古典論理と直観主義論理の比較に重きを置いて作りました．第9回すうがく徒のつどいで発表した内容です．