已发表成果:
WOK 论文 7 篇;中文核心 1 篇;
Cut Elimination of Intuitionistic Tense Logic
Cut-Free Gentzen Sequent Calculi for Tense Logics
Involutive Commutative Residuated Lattice without Unit: Logics and Decidability
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics
On the Finite Model Property of Weak Intuitionistic Tense Logic
Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability
On the decidability of intuitionistic tense logic without disjunction
混合模态逻辑的有穷模型性研究
逻辑学研究,1674-3202,2021-08-18.