梁飞 (教授)

教授 博士生导师 硕士生导师

性别:男

出生日期:1988-06

毕业院校:Delft University of Technology, 中山大学

学历:研究生(博士)毕业

学位:哲学博士学位

所在单位:哲学与社会发展学院

入职时间:2018-11

所属院系: 哲学与社会发展学院

职务:科研教师

办公地点:山东大学中心校区知新楼A 1603室

联系方式:

   

Algebraic Proof Theory for LE-logics

发布时间:2024-05-16   点击数:

所属单位:哲学与社会发展学院

论文名称:Algebraic Proof Theory for LE-logics

发表刊物:ACM Transactions on Computational Logic

论文编号:39AF19F7DCD64BBDA3819C6617CF6A2A

期号:0

字数:30

是否译文:

发表时间:2022-10

上一条: VECTOR SPACES AS KRIPKE FRAMES

下一条: Sahlqvist Correspondence Theory for Modal Logic with Quantification over Relations