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 まで ご一報いただければ幸いです。
どうぞよろしくお願いいたします。
大森仁