[logic-ml] Kyoto Nonclassical Logic Workshopのご案内

[Hitoshi Omori]

Kyoto Nonclassical Logic Workshopのご案内
(重複してお受け取りの際はご容赦ください。)

京都大学の大森仁です。直前の案内になってしまいましたが、以下の通り非古典論理に関するワークショップを開催いたします。概要などの詳細はウェブサイトをご覧ください。

-------------------------------------
Kyoto Nonclassical Logic Workshop

【日時】2015年11月19日 、20日
【場所】京都大学 吉田泉殿
【ウェブサイト】https://sites.google.com/site/hitoshiomori/home/workshops/kncl2015
【プログラム】
11月19日
13:00-14:10: Zach Weber: On closure and truth in substructural theories of
truth
14:10-15:20: Hidenori Kurokawa: Labelled sequent calculi for substructural
logics I: relevant logics
15:20-15:40: coffee break
15:40-16:50: Ryosuke Igarashi: Inferentialism on Negation
16:50-18:00: Shunsuke Yatabe: A constructive naive set theory and infinity

11月20日
10:30-11:40: Kazushige Terui: Substructural logics and fixed points
11:40-13:00: lunch break
13:00-14:10: Colin Caret: Pluralism and Contextualism
14:10-15:20: Yasuo Deguchi: Compartmentalizing Trivialism; Nishida's
Contradictory Self-identity Viewed from a Non-classical Logic
15:20-15:40: coffee break
15:40-16:50: Katsuhiko Sano: Cut-Elimination Theorem for Expansions of
Belnap-Dunn's Four Valued Logic via Functional Weak-Completeness
16:50-18:00: Petr Cintula: Substructural Logics: Deduction theorems and
generalized disjunctions
-------------------------------------

会場の都合上、参加を希望される場合は hitoshiomori[at]gmail[dot]com まで
ご一報いただければ幸いです。

どうぞよろしくお願いいたします。

大森仁
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20151116/be68ff8c/attachment.html>