2015-10-20から1日間の記事一覧
先週は申し訳ありませんでした。今週こそは授業を行います!後期授業第二回目の今回は、「論理結合子の条件」について、証明論的意味論の立場から考えてみたいと思います。具体的には、意味の理論IIの素朴な解釈である素朴な推論主義「論理結合子の意味は導…
先週は申し訳ありませんでした。今週こそは授業を行います!後期授業第二回目の今回は、「論理結合子の条件」について、証明論的意味論の立場から考えてみたいと思います。具体的には、意味の理論IIの素朴な解釈である素朴な推論主義「論理結合子の意味は導…