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

京都大学の大森仁です。直前の案内になってしまいましたが、以下の通りワークショップを開催いたします。

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

【日時】2017年9月25日
【場所】京都大学 吉田泉殿
【ウェブサイト】https://sites.google.com/site/hitoshiomori/home/workshops/kncl3
【プログラム】
September 25:
11:00--12:00 Zach Weber "On Substructural Logic and Metatheory"
12:00--13:00 Takuro Onishi "Unifying two plans in relevant logic"
13:00--14:30 Lunch
14:30--15:30 Igor Sedlár "Abstract completeness of some lattice-valued modal logics"
15:30--16:30 Kazushige Terui "The noble art () of diagrammatic reasoning in algebraic logic"
16:30--16:45 Coffee break
16:45--17:45 Adam Přenosil "Reconstructing involutive residuated lattices from their negative cones"
17:45--18:45 Petr Cintula "Lindenbaum-style proof of completeness for infinitary logics"
19:00-- Dinner
-------------------------------------

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

大森仁