MLG2019 講演プログラム

於 マホロバ・マインズ三浦（別館）928号室

12月14日(土)

14:00-14:50 高木研斗（東京工業大学）

真理値表からつくる証明体系

14:50-15:40 高木翼（法政大学）

近傍意味論の線形代数的再定式化

15:40-16:00 休憩

16:00-16:50 龍田真（国立情報学研究所）

マルティンレーフの帰納的定義と循環証明体系の同等性

16:50-17:20 松田直祐（神奈川大学）

ラムダ計算の完全性の問題に対する弱い解答

12月15日(日)

10:00-10:50 野村尚新（国立情報学研究所）

Action model logic and its lazy-evaluation via nested-sequent

10:50-11:40 間庭彬仁（東京工業大学）

Intuitionistic Provability Logic の Natural Deduction

11:40-14:00 休憩

14:00-14:50 鈴木信行（静岡大学）

Shehtmanの問いから始まった話

14:50-15:40 関隆宏（新潟大学）

A Gentzenization of some substructural logics with contraposition

15:40-16:00 休憩

16:00-16:50 中村誠希（東京工業大学）

The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation

16:50-17:40 河野友亮（フェリス女学院大学）

量子論理と認識論理の組み合わせについて

12月16日(月)

9:30-10:00 松田直祐（神奈川大学）

公理型のオーダーと中間論理

10:00-10:50 角田健太郎（首都大学東京）

Filinskiの対称ラムダ計算の型規則を依存型に拡張する方法

10:50-11:40 山﨑紗紀子（首都大学東京）

直観主義論理の線形論理への埋め込み

- 後件複雑な直観主義論理のシークエント計算を用いて