梁飞 (教授)

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

性别:男

出生日期:1988-06

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

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

学位:哲学博士学位

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

入职时间:2018-11

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

职务:科研教师

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

联系方式:

   

Algebraic semantics for quasi-Nelson logic

发布时间:2019-11-26   点击数:

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

论文名称:Algebraic semantics for quasi-Nelson logic

发表刊物:WoLLIC2019

第一作者:梁飞

全部作者:梁飞

论文编号:E78AB85826A341CCB307C7DAB1A72D22

字数:10

是否译文:

发表时间:2019-07

上一条: Proper Multi-type display calculi for Rough Algebras

下一条: 带否定算子的兰贝克演算研究