曇りなき眼で見定めブログ

学生です。勉強したことを書いていく所存です。リンクもコメントも自由です! お手柔らかに。。。更新のお知らせはTwitter@cut_eliminationで

線形論理

線形論理超入門!!

デカく構えたタイトル!! 後期に専門が違う人向けに研究の説明をする演習があるようなので、ロジックが専門でない人向けの線形論理の解説を考えたい。 自然演繹からシーケント計算へ 論理学の入門講義をとったことがある人は多そうなので、自然演繹から入っ…