24 Aug
2013
24 Aug
'13
10:44 a.m.
皆様、
Relevant logic に関係する研究者の交流，情報交換を目的としたワークショップを開催します。 どなたでもご参加いただけますが，参加の場合は事前に御一報ください。
日時：9月10日(火) 13:00から 場所：東京工業大学 大岡山キャンパス 西８号館W棟10階1008号室
プログラム： 13:00 鹿島亮（東工大） Relevant logic の定式化について 14:00 吉満昭宏（琉球大） 関連論理Bの情報的意味論 15:15 佐野勝彦（JAIST） Alternative Semantics for Visser’s Basic Propositional Logic 16:15 大森仁（学振海外特別研究員，ニューヨーク市立大学・ボーフム大学） 否定と関連(連関)論理 17:15 古森雄一 Relevant logic との出会い
詳細はこちら： http://www.is.titech.ac.jp/~kashima/Events/RelevantLogic2013.html
問い合わせ先：鹿島亮 [email protected]