第55回

MLG数理論理学研究集会について

MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している40年以上続く研究集会です． 成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています． 数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．

前回の様子はこちらをご覧ください．

開催要領

日程

2021/03/01 (月) - 2021/03/02 (火)

場所

オンライン開催（Zoom）

詳しい参加方法などは，後日参加者に直接ご連絡いたします．

連絡先

松田直祐（神奈川大学）

matsuda.naosuke (at) gmail.com

参加方法

参加を希望される方は，以下を記入の上，松田（matsuda.naosuke (at) gmail.com）までメールでお申し込みください．参加申し込みをいただいた方には，後日参加のための Zoom URL などを連絡いたします．なお，講演を希望される方は，日程調整のため 2/22 までにお申し込みいただきますようよろしくお願いいたします．講演は1件あたり40分程度を予定しております．講演の申し込みは終了いたしました．

--MLG2020申し込みフォーム--

氏名：

連絡先：

参加日程：

講演希望：あり / なし

講演題目：

その他：

--

プログラム（敬称略）

3月1日（月）

• 09:50-10:00 諸連絡

• 10:00-12:15 第1セッション 座長：河野友亮（フェリス女学院大学）

  • 10:00-10:45

石原豪人

パラレルワールドについて

• • 10:45-11:30

岩田荘平（神戸大学）

保存性・解釈可能性の論理CL・ILの位相空間的意味論について

• • 11:30-12:15

大川裕矢（千葉大学）

解釈可能性論理 IL の部分論理に対する不動点定理周辺の状況について

• 12:15-14:00 昼休憩

• 14:00-15:30 第2セッション 座長：松田直祐（神奈川大学）

  • 14:00-14:45

高木研斗（東京工業大学）

Strong Normalization of Natural Deduction for 2Int

• • 14:45-15:30

木内詠美（東京工業大学）

Lindström Theorem for FO2

• 15:30-15:50 小休憩

• 15:50-17:20 第3セッション 座長：佐々木克巳（南山大学）

  • 15:50-16:35

新屋良磨（秋田大学）

正規言語とWQO（仮）

• • 16:35-17:20

河野友亮（フェリス女学院大学）

命題記号を様相関係に持つ様相論理について

• 17:20-17:30 諸連絡

3月2日（火）

• 09:50-10:00 諸連絡

• 10:00-12:15 第1セッション 座長： 松田直祐（神奈川大学）

  • 10:00-10:45

佐々木克巳（南山大学）

Improper inference rule について

• • 10:45-11:30

関隆宏（新潟大学）

結合則を持たない部分構造論理のKripke型意味論について

• • 11:30-12:15

外丸真一（東京工業大学）

二階ラムダ計算の完全性

• 12:15-13:45 昼休憩

• 13:45-16:00 第2セッション 座長：新屋良磨（秋田大学）

  • 13:45-14:30

仁木哲（北陸先端科学技術大学院大学）

A more satisfactory approach to constructible falsity

• • 14:30-15:15

松田直祐（神奈川大学）

「直観主義論理・古典論理の関係」と命題結合子の関係

• • 15:15-16:00

間庭彬仁（東京工業大学）

Nested Bilateral Natural Deduction for Classical Modal Logics

• 16:00-16:20 小休憩

• 16:20-17:50 第3セッション 座長：鹿島亮（東京工業大学）

  • 16:20-17:05

村井涼（北海道大学）

Intuitionistic Epistemic Logic with Distributed Knowledge

• • 17:05-17:50

大森仁（Ruhr University Bochum）

Untruth, falsity and non-deterministic semantics

• 17:50-18:00 諸連絡