(11月10日よりハイブリッド授業となります!!) 後期授業第五回は、新しい論理規則を受け入れるとはどういうことかという話をします。 つまり、最小論理に、新しい論理規則「矛盾律」を付加し、論理体系「直観主義論理」へと拡大します。この拡大は保存拡…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。