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

News

2月21日 陈至诚报告

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

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

​