中国科学院哲学研究所,
北京市石景山区玉泉路19号(甲)邮编:100049
我2025年6月博士毕业于北京大学哲学系(宗教学系)逻辑学专业。博士论文研究的是一种统一Albert Visser的BPL、直觉主义逻辑和正交逻辑的基础非典命题逻辑,以及梅德韦杰夫逻辑的相关问题。
目前的研究兴趣在于W. Holliday的Fundamental logic的蕴含拓展、梅德韦杰夫框架的模型论性质、梅德韦杰夫逻辑的公理化和可判定性。
ResearchGate 账号:
https://www.researchgate.net/profile/Zhicheng-Chen-7
Powered by Froala Editor