Zhicheng Chen

collaborators

3 papers

math.LO2025

An Intermediate Logic Contained in Medvedev's Logic with Disjunction Property

Zhicheng Chen

Let $SU$ be the superintuitionistic logic defined by the axiom $\boldsymbol{su} = ((\neg p\to q)\land(\neg q\to p) \rightarrow r \vee s) \to ( p \rightarrow r) \vee(q \rig…

math.LO2025

Fundamental Propositional Logic with Strict Implication

Zhicheng Chen

Fundamental logic was introduced by Wesley Holliday (2023) to unify intuitionistic logic and quantum logic from a proof-theoretic perspective, capturing the logic determined solely…

math.LO2024

The Logics of Individual Medvedev Frames

Zhicheng Chen, Yifeng Ding

Let $n$ -Medvedev's logic $ML_{n}$ be the intuitionistic logic of Medvedev frames based on the non-empty subsets of a set of size $n$ , which we call $n$ -Medvedev frames. Whil…