学者信息
已发表成果：
WOK 论文 7 篇;中文核心 1 篇;
-
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics
STUDIA LOGICA,0039-3215,2022-05.
Lin, Zhe; Ma, Minghui
WOS:000800078400002 10.1007/s11225-022-10003-8
收录情况：SCIE