I received my Ph.D. in Logic from the Department of Philosophy and Religious Studies at Peking University in June 2025. My doctoral dissertation focused on a fundamental non-classical propositional logic that unifies Albert Visser’s BPL, intuitionistic logic, and orthologic, along with related issues in Medvedev logic. 

My current research interests include the implication expansion of W. Holliday’s Fundamental logic, model-theoretic properties of Medvedev frames, and the axiomatization and decidability of Medvedev logic.

ResearchGate profile:

https://www.researchgate.net/profile/Zhicheng-Chen-7

Powered by Froala Editor