Algebraic Proof Theory for LE-logics
点击次数：
所属单位：哲学与社会发展学院
发表刊物：ACM Transactions on Computational Logic
论文编号：1754450339719565313
卷号：25
期号：1
字数：20
是否译文：否
发表时间：2024-01-17
发表时间：2024-01-17
副教授
性别：男
出生日期：1988-06-10
毕业院校：Delft University of Technology, 中山大学
学历：研究生(博士)毕业
学位：哲学博士学位
在职信息：在职
所在单位：哲学与社会发展学院
入职时间：2018-11-06
职务：科研教师
Algebraic Proof Theory for LE-logics
点击次数：
所属单位：哲学与社会发展学院
发表刊物：ACM Transactions on Computational Logic
论文编号：1754450339719565313
卷号：25
期号：1
字数：20
是否译文：否
发表时间：2024-01-17
发表时间：2024-01-17