反饋

梁飛

（山東大學教師）

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

2018年7月, 博士，Applied Logic Group, TU Delft, 邏輯學專業；

2017年12月，博士，中山大學邏輯與認知研究所，邏輯學專業；

2014年6月，碩士，華東師範大學哲學系，邏輯學專業；

非經典邏輯，證明論，代數邏輯，邏輯哲學。^[1]

本科生：初等邏輯，應用邏輯。^[1]

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, 獨作。^[1]

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

1. 國家社會科學基金青年項目“非古典命題邏輯的結構證明論研究”（16CZX049），參與。

2. 國家社會科學基金青年項目“非經典模態邏輯的語義與證明論研究”（17CZX048），參與。^[1]

參考資料

詞條統計