[logic-ml] Workshop on Relevant Logics

[KASHIMA Ryo]

皆様、

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

問い合わせ先：鹿島亮
kashima at is.titech.ac.jp