梁飞 (副教授)

副教授

性别:男

出生日期:1988-06-10

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

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

学位:哲学博士学位

在职信息:在职

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

入职时间:2018-11-06

职务:科研教师

   

A Hilbert Calculus for Logic of Truth-Functional Contingency

点击次数:

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

发表刊物:逻辑学研究

第一作者:梁飞

论文编号:5AB4091DCF034C87B9F526E34EA6893D

期号:14.3

字数:5

是否译文:

发表时间:2021-06-18

发表时间:2021-06-18

上一条: On the Finite Model Property of Weak Intuitionistic Tense Logic

下一条: Semi De Morgan Logic Properly Displayed