林哲
哲学系
已发表成果:
WOK 论文 7 篇;中文核心 1 篇;
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics