5 papers
Proof-Valid Caching under Premise Erasures: Local Structural Limits and Shared-Workload Gains
Jianfeng Xu
We study reliable query recovery under independent premise erasures in semantically transparent caching systems, where every cached object must be a logical consequence of the prem…
Closure-Preserving Rate-Distortion for Reversible Logging
Jianfeng Xu
We study semantic compression of reversible-execution evidence for rollback reasoning. A run is a finite fact base; rollback semantics are modeled by a monotone closure operator in…
Rate-Distortion Theory for Deductive Sources under Closure Fidelity
Jianfeng Xu
We study lossy compression of a finite statement source generated in a fixed deductive environment. The source symbols are statements in a knowledge base endowed with a shared proo…
Semantic Rate-Distortion Theory: Deductive Compression and Closure Fidelity
Jianfeng Xu
Shannon's rate-distortion theory treats source symbols as unstructured labels. When the source is a knowledge base equipped with a logical proof system, a natural fidelity criterio…
Semantic Channel Theory: Deductive Compression and Structural Fidelity for Multi-Agent Communication
Jianfeng Xu
Shannon's information theory deliberately excludes message semantics. This paper develops a rigorous framework for semantic communication that integrates formal proof systems with…