Teaching Research
Working-Papers
- No content
Paper Publications
More>-
余喆. On the Equational Theory of Lattice-Based Algebras for Layered Graphs. AXIOMS, 14, 2025.
-
梁飞. “无”之悖论:一个弗完全解决方案(英文). 逻辑学研究, 17, 18-41, 2025.
-
. Bilattice Logic Properly Displayed. Fuzzy Sets and Systems, 2024.
-
. Bilattice Logic Properly Displayed. Fuzzy Sets and Systems, 2024.
-
. Algebraic Proof Theory for LE-logics. ACM Transactions on Computational Logic, 25, 2024.
-
梁飞. 带关系量化的模态逻辑的萨奎斯特对应理论(英文). 逻辑学研究, 16, 39-57, 2024.
Patents
- No content
Published Books
Research Projects
Research Team
- No content