“Philosophy of Logic and Philosophical Logic” Reading Group Season 2, Week 4, Series #16, Xixilogic #59 西溪逻辑论坛第59期 “逻辑哲学与哲学逻辑”读书会第16次活动 主题：亲近的对手：康德和密尔 领读人：杭颖颖，何键枫 时间：2017年3月27日（周一） 18:00-20:30 地点：教学主楼259会议室 （本活动受中央高校基本科研业务费专项资金资助）
Continue reading →Dr. Junhua Yu from Tsinghua University is going to visit CSLC in April. During his visit he will give two talks at the Center. For more details please click the links below: Yu, Junhua: A hyper-sequent calculus for the instantial … Continue reading →
西溪逻辑论坛第62期 Speaker: Dr. Junhua Yu Date & Time: 14 April 2017 (Friday), 13:30 – 15:00 Place: Seminar room #259, Main teaching building, Xixi campus, Zhejiang University Abstract: S. Artemov’s justification logic (JL) can be seen as an explicit version of … Continue reading →
