论文成果
- [1] . Bilattice Logic Properly Displayed. Fuzzy Sets and Systems, 2019.
- [2] . Bilattice Logic Properly Displayed. Fuzzy Sets and Systems, 2019.
- [3] . Algebraic Proof Theory for LE-logics. ACM Transactions on Computational Logic, 25, 2024.
- [4] 梁飞. 带关系量化的模态逻辑的萨奎斯特对应理论（英文）. 逻辑学研究, 16, 39-57, 2023.
- [5] 梁飞. 认知过滤式指示条件句（英文）. 逻辑学研究, 15, 1-16, 2022.
- [6] 梁飞. Multiple-conclusion Logical Consequence: from a Perspective of Speech Acts. UNIVERSITAS-MONTHLY REVIEW OF PHILOSOPHY AND CULTURE, 49, 89-104, 2022.
- [7] . VECTOR SPACES AS KRIPKE FRAMES. JOURNALOFAPPLIEDLOGICS-IFCOLOGJOURNALOFLOGICSANDTHEIRAPPLICATIONS, 7, 853-873, 2020.
- [8] . Algebraic Proof Theory for LE-logics. ACM Transactions on Computational Logic, 2022.
- [9] 梁飞. Sahlqvist Correspondence Theory for Modal Logic with Quantification over Relations. 逻辑学研究, 2023.
- [10] 梁飞. 金岳霖论"逻辑一元论"——兼与普利斯特"逻辑一元论"比较. 《文史哲》（2003年第4期）, 88-92, 2023.
- [11] . Semi De Morgan Logic Properly Displayed. Studia Logica, 2020.
- [12] . Semi De Morgan Logic Properly Displayed. Studia Logica, 2020.
- [13] 王文方. Indicative Conditionals as Epistemic Filter Conditionals. 逻辑学研究, 15, 1, 2022.
- [14] 梁飞. 对多结论逻辑后承的一个新解读. 逻辑学动态与评论, 2022.
- [15] 梁飞. Bilattice Logic Properly Displayed. FUZZY SETS AND SYSTEMS Journal, 2019.
- [16] 梁飞. 言语行为视域下的多结论逻辑结果. 哲学与文化月刊, 2022.
- [17] 梁飞. On the Finite Model Property of Weak Intuitionistic Tense Logic. 2021.
- [18] 梁飞. A Hilbert Calculus for Logic of Truth-Functional Contingency. 逻辑学研究, 2021.
- [19] Greco, Giuseppe. Semi De Morgan Logic Properly Displayed. Studia Logica, 2020.
- [20] 梁飞. On the Decidability of Intuitionistic Tense Logic without Disjunction. 2021.