梁飛(山東大學教師)

梁飛，男，陝西岐山人，博士，現任山東大學哲學與社會發展學院副研究員，邏輯學教研室主任。

基本介紹

• 中文名：梁飛
• 出生地：陝西岐山
• 畢業院校：中山大學
• 學位/學歷：博士
• 專業方向：邏輯學
• 職務：山東大學哲學與社會發展學院邏輯學教研室主任

人物經歷

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），參與。