梁飞，男，陕西岐山人。2018年11月起任全讯白菜策略副研究员，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号，全讯白菜策略，邮编250100
电子邮箱：f.liang@sdu.edu.cn