学者信息
已发表成果：
WOK 论文 7 篇;中文核心 1 篇;
-
Cut-Free Gentzen Sequent Calculi for Tense Logics
AXIOMS,,2023-07.
Lin, Zhe; Ma, Minghui
WOS:001036863700001 10.3390/axioms12070620
收录情况：SCIE -
Involutive Commutative Residuated Lattice without Unit: Logics and Decidability
arXiv,,2023-03-09.
Wang, Yiheng (1); Zhan, Hao (1); Peng, Yu (1); Lin, Zhe (1)
EI:20230093628 10.48550/arXiv.2303.05672
收录情况：EI