<div dir="ltr">Kyoto Nonclassical Logic Workshopのご案内<br>(重複してお受け取りの際はご容赦ください。)<br><br>京都大学の大森仁です。直前の案内になってしまいましたが、以下の通り非古典論理に関するワークショップを開催いたします。概要などの詳細はウェブサイトをご覧ください。<br><br>-------------------------------------<br>Kyoto Nonclassical Logic Workshop<br><br>【日時】2015年11月19日 、20日<br>【場所】京都大学 吉田泉殿<br>【ウェブサイト】<a href="https://sites.google.com/site/hitoshiomori/home/workshops/kncl2015">https://sites.google.com/site/hitoshiomori/home/workshops/kncl2015</a><br>【プログラム】<br>11月19日<br>13:00-14:10: Zach Weber: On closure and truth in substructural theories of truth<br>14:10-15:20: Hidenori Kurokawa: Labelled sequent calculi for substructural logics I: relevant logics<br>15:20-15:40: coffee break<br>15:40-16:50: Ryosuke Igarashi: Inferentialism on Negation<br>16:50-18:00: Shunsuke Yatabe: A constructive naive set theory and infinity<br><br>11月20日<br>10:30-11:40: Kazushige Terui: Substructural logics and fixed points<br>11:40-13:00: lunch break<br>13:00-14:10: Colin Caret: Pluralism and Contextualism<br>14:10-15:20: Yasuo Deguchi: Compartmentalizing Trivialism; Nishida's Contradictory Self-identity Viewed from a Non-classical Logic<br>15:20-15:40: coffee break<br>15:40-16:50: Katsuhiko Sano: Cut-Elimination Theorem for Expansions of Belnap-Dunn's Four Valued Logic via Functional Weak-Completeness  <br>16:50-18:00: Petr Cintula: Substructural Logics: Deduction theorems and generalized disjunctions<br>-------------------------------------<br><br>会場の都合上、参加を希望される場合は hitoshiomori[at]gmail[dot]com まで<br>ご一報いただければ幸いです。<br><br>どうぞよろしくお願いいたします。<br><br>大森仁<div style="font-size:12.8px"></div></div>