[logic-ml] 講演会``A Frontier of Non-Classical Logic'' (7月19日,@京大文学部)のご案内
久木田水生
minao.kukita at gmail.com
Wed Jul 17 15:32:08 JST 2013
皆様
京都大学哲学研究室ODの久木田です.
下記の通り,京都大学文学部応用哲学倫理センター(CAPE)主催による
``A Frontier of Non-Classical Logic''と題されたセミナーが行われます.
哲学的なバックグラウンドを持ち,論理学の分野で世界的な業績をあげている研究者の方々による講演です.
講演は日本語で行われます.
どうぞふるってご参加下さい.
久木田
記
日時:7月19日(金),10:30-14:30
場所:京都大学文学部地下小会議室
テーマ:A Frontier of Non-Classical Logic
プログラム:
10:30-12:00 Katsuhiko Sano (JAIST), “Alternative Semantics for
Visser’s Basic Propositional Logic”
Lunch Break
13:00-14:30 Hidenori Kurokawa (Kobe University )and Hirohiko Kushida
(CUNY), “Substructural logic of proofs and self-referentiality”
詳細はCAPEのWebページをご覧下さい.
http://www.bun.kyoto-u.ac.jp/news/%E7%AC%AC20%E5%9B%9Ecape%E3%83%AC%E3%82%AF%E3%83%81%E3%83%A3%E3%83%BC%EF%BC%9Aa-frontier-of-non-classical-logic/
以上
More information about the Logic-ml
mailing list