MLG2019 講演プログラム
MLG2019 講演プログラム
於 マホロバ・マインズ三浦（別館）928号室
於 マホロバ・マインズ三浦（別館）928号室
14:00-14:50 高木研斗（東京工業大学）
真理値表からつくる証明体系
14:50-15:40 高木翼（法政大学）
近傍意味論の線形代数的再定式化
15:40-16:00 休憩
16:00-16:50 龍田真（国立情報学研究所）
マルティンレーフの帰納的定義と循環証明体系の同等性
16:50-17:20 松田直祐（神奈川大学）
ラムダ計算の完全性の問題に対する弱い解答
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 河野友亮（フェリス女学院大学）
量子論理と認識論理の組み合わせについて
9:30-10:00 松田直祐（神奈川大学）
公理型のオーダーと中間論理
10:00-10:50 角田健太郎（首都大学東京）
Filinskiの対称ラムダ計算の型規則を依存型に拡張する方法
10:50-11:40 山﨑紗紀子（首都大学東京）
直観主義論理の線形論理への埋め込み
- 後件複雑な直観主義論理のシークエント計算を用いて