Home» News» News» 2月21日 陈至诚报告

2月21日 陈至诚报告

发布日期:2023-02-21 作者:

2月21日,陈至诚做了题为《BPL, IPL & OL》的报告。介绍了自己以一种统一的方式处理基础命题逻辑、直觉主义命题逻辑、正交命题逻辑及其他相关逻辑的工作。