学者信息
已发表成果：
WOK 论文 7 篇;中文核心 1 篇;
-
Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability
Fundamenta Informaticae,0169-2968,2021.
Lin, Zhe; Chakraborty, Mihir Kumar; Ma, Minghui
WOS:000641228900002 EI:20211710246124 10.3233/fi-2021-2023
收录情况：SCIE、EI -
On the Finite Model Property of Weak Intuitionistic Tense Logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),0302-9743,2021.
Peng, Yu (1); Lin, Zhe (1); Liang, Fei (2, 3)
EI:20214211031091 10.1007/978-3-030-88708-7_14
收录情况：EI
-
混合模态逻辑的有穷模型性研究
逻辑学研究,1674-3202,2021-08-18.
彭玉;林哲
CSSCI 文科二类核心