曇りなき眼で見定めブログ
id:cut_elimination
「型なし証明論」について(推論主義、証明論的意味論、線形論理、相互作用の幾何学、ルディクス)
先日、一橋大学で↓こういうイベントがあった。 sites.google.com 講演者の豊岡正庸さんは私の直の先輩にあたる。たいへん優秀な方で、分析哲学・哲学的論理学の世界では注目の存在である。 豊岡さんの講演のなかで線形論理やジラール先生に触れた箇所があり、それに関連する文献は私が少しお教えした。そうしたら豊岡さん…