Xixi Logic Seminars #70 Speaker: Ryuta Arisaka (National Institute of Informatics, Japan) Date & Time: 14-16 June 2017 Place: Seminar Room #259, Main teaching building, Xixi campus, Zhejiang University BI Proof theory (14 June 2017, 10:00-11:30 AM) BI is a … Continue reading →
“Philosophy of Logic and Philosophical Logic” Reading Group Season 3, Week 1, Series #21, Xixilogic #68 西溪逻辑论坛第68期 “逻辑哲学与哲学逻辑”读书会第21次活动 主题：history of humanities: the quest for principles and patterns; linguistics: the birth of grammar 领读人：黄剑煜、张仑、俞柳闻、杭颖颖 时间：2017年6月1日（周四） 18:00-20:30 地点：教学主楼259会议室 （本活动受中央高校基本科研业务费专项资金资助）
Continue reading →Xixi Logic Seminars #69 Speaker: Huimin Dong (Universität Bayreuth) Date & Time: 5 June 2017 (Monday), 10:00 – 11:30 Place: Seminar Room #259, Main teaching building, Xixi campus, Zhejiang University Dynamic Logic of Power and Immunity We present a dynamic … Continue reading →
