1 citations · 1 across the 5 of their papers we have counts for
Showing 2025 · math.LOShow all
2 papers · 2 filters
math.LO2025
An Intermediate Logic Contained in Medvedev's Logic with Disjunction Property
Zhicheng Chen
Let 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…