Showing 2026Show all
2 papers · 1 filter
math.LO2026
Dilator-based analysis of KP
Hanul Jeon
Proof theorists developed various frameworks to analyze impredicative systems like or ; One is an operator-controlled derivation system, a…
math.LO2026
The Axiom of Double Complement and its opposites
Hanul Jeon, James E. Hanson
Powell introduced the Axiom of Double Complement () to give his double-negation interpretation of into . However, the consistency,…