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 -------------------------------------
どうぞよろしくお願いいたします。
大森仁