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

[Hitoshi Omori]

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
-------------------------------------

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

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