デカく構えたタイトル!! 後期に専門が違う人向けに研究の説明をする演習があるようなので、ロジックが専門でない人向けの線形論理の解説を考えたい。 自然演繹からシーケント計算へ 論理学の入門講義をとったことがある人は多そうなので、自然演繹から入っ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。