山东大学哲学与社会发展学院

首页 > 师资队伍 > 教师简介 > 正文

梁飞

来源: 时间: 作者: 编辑: 字号: 阅读:

梁飞,男,陕西岐山人。2018年11月起任山东大学哲学与社会发展学院副研究员,2019年2月起任逻辑学教研室主任。

研究方向:

非经典逻辑,证明论,代数逻辑,逻辑哲学。

教育背景:

2018年7月, 博士,Applied Logic Group, TU Delft, 逻辑学专业;

2017年12月,博士,中山大学逻辑与认知研究所,逻辑学专业;

2014年6月,硕士,华东师范大学哲学系,逻辑学专业;

2010年6月,学士,燕山大学电气工程学院,电气工程及其自动化专业。

教授课程:

本科生:初等逻辑,应用逻辑。

论文发表:

1. Bilattice Logic Properly Displayed. Fuzzy Sets and Systems, 2019, 363:138-155. SCI, JCR-Q1, corresponding author.

2. Proper multi-type display calculi for rough algebras. Proceedings of LSFA 2018, ENTCS, forthcoming, corresponding author.

3. Sequent calculi for semi-De Morgan and De Morgan algebras. Studia Logica, 2018, 106(3):565-593. A&HCI, SCI, JCR-Q3, second author.

4. Multi-type display calculus for semi De Morgan logic. Proceedings of WoLLIC 2017, LNCS10388, pp.199-215. EI, corresponding author.

5.“带否定算子的兰贝克演算研究”,《逻辑学研究》,2018,11(3):23-34. CSSCI, 通讯作者。

6.“时态德摩根逻辑的语义与证明论研究”,《逻辑学研究》,2017,10(4):99-116. CSSCI, 独作。

专著:

Multi-type Algebraic Proof Theory. Dissertation, TU Delft, 2018. ISBN: 978-94-6295-998-9.

项目:

1. 国家社会科学基金青年项目“非古典命题逻辑的结构证明论研究”(16CZX049),参与。

2. 国家社会科学基金青年项目“非经典模态逻辑的语义与证明论研究”(17CZX048),参与。

联系方式:

通信地址:山东省济南市历下区山大南路27号,山东大学哲学与社会发展学院,邮编250100

电子邮箱:f.liang@sdu.edu.cn

 

相关内容:

读取内容中,请等待...