副教授
梁飞

梁飞,男,陕西岐山人。2018年11月起任澳门威斯人app下载副研究员,2019年2月起任逻辑学教研室主任。2019年入选”山东大学青年学者未来计划“,评为硕士研究生导师。


研究方向:
非经典逻辑,证明论,代数逻辑,逻辑哲学。


教育背景:
2018年7月, 博士,Applied Logic Group, TU Delft, 逻辑学专业;
2017年12月,博士,中山大学逻辑与认知研究所,逻辑学专业;
2014年6月,硕士,华东师范大学哲学系,逻辑学专业;
2010年6月,学士,燕山大学电气工程学院,电气工程及其自动化专业。


教授课程:
本科生:初等逻辑,应用逻辑。
研究生:逻辑与哲学。


论文发表:
1.On the Decidability of Intuitionistic Tense Logic without Disjunction. Proceedings of IJCAI2020, forthcoming, first author.
2.Semi De Morgan Logic Properly Displayed. Studia Logica, 2020, published online, doi:
https://doi.org/10.1007/s11225-020-09898-y. A&HCI, SCI, JCR-Q3, corresponding author.
3.Reasoning as Speech Acts. LNCS12061, 2020, pp: 279-286. EI, corresponding author.
4.Bilattice Logic Properly Displayed. Fuzzy Sets and Systems, 2019, 363:138-155. SCI, JCR-Q1, corresponding author.
5.Proper Multi-type Display Calculi for Rough Algebras. ENTCS, 2019, 344:101-118. EI, corresponding author.
6.Algebraic Semantics for Quasi-Nelson Logic. LNCS11541, 2019, pp:450-465. EI, first author, corresponding author.
7.Sequent Calculi for Semi-De Morgan and De Morgan algebras. Studia Logica, 2018, 106(3):565-593. A&HCI, SCI, JCR-Q3, second author.
8.Multi-type Display Calculus for Semi De Morgan Logic. LNCS10388, 2018, pp.199-215. EI, corresponding author.
9.“带否定算子的兰贝克演算研究”,《逻辑学研究》,2018,11(3):23-34. CSSCI, 通讯作者。
10.“时态德摩根逻辑的语义与证明论研究”,《逻辑学研究》,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号,澳门威斯人app下载,邮编250100
电子邮箱:
f.liang@sdu.edu.cn