DEKL 2.0: Trace-Indexed Knowledge Evolution in Dependent Type Theory

Chen Peng

DEKL 2.0 is a dependent type-theoretic framework for trace-indexed knowledge evolution. Its central claim is that the proof calculus remains monotone under standard structural rule…