1. Stable Canonical Formulas and Rules and Their Applications（北京大学）
时间：2026/05/26 15:10-18:00
链接：https://mp.weixin.qq.com/s/8mtZWwtLoTDFzSpnnWASGw
2.《墨经》“说在”句式的逻辑研究（清华大学）
时间：2026/05/28 16:00-17:30
链接：https://mp.weixin.qq.com/s/ewaRxs4mKlyq3wU-QbSduQ
3. Why do meta-inferences matter?（中山大学）
时间：2026/05/29 15:00
链接：https://mp.weixin.qq.com/s/56v1V2MzFPcrme1eVuQHoQ
4. Frege's Frege Arithmetic（北京大学）
时间：2026/05/29 15:10-18:00
链接：https://mp.weixin.qq.com/s/rttcBF5EKpy8hEH6ra0adg
5. On the isomorphism relation for omnigenous locally finite groups（南开大学）
时间：2026/05/29 16:00
链接：https://mp.weixin.qq.com/s/4ulnSwuKMLA44Y_SxvT6lQ
6. Meta-classical non-transitive logics（中山大学）
时间：2026/05/30 15:00
链接：https://mp.weixin.qq.com/s/GEyeKq4t4ggrdHngxbu13w
7. Non-transitive reasoning in LLMs（中山大学）
时间：2026/05/31 15:00
链接：https://mp.weixin.qq.com/s/quRXOQJ2wyuB-Av44ay6Xg
了解每周数理逻辑活动，也可发邮件至