Copertina

Rate-Distortion Theory for Deductive Sources under Closure Fidelity

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Xu, Jianfeng
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Information Theory Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Semantic Channel Theory: Deductive Compression and Structural Fidelity for Multi-Agent Communication
di: Xu, Jianfeng
Pubblicazione: (2026)

Semantic Rate-Distortion Theory: Deductive Compression and Closure Fidelity
di: Xu, Jianfeng
Pubblicazione: (2026)

Information Physics of Intelligence: Unifying Logical Depth and Entropy under Thermodynamic Constraints
di: Xu, Jianfeng, et al.
Pubblicazione: (2025)

Context, Judgement, Deduction
di: Coraglia, Greta, et al.
Pubblicazione: (2021)

Lecture Notes on Algorithmic Information Theory
di: Bédard, Charles Alexandre
Pubblicazione: (2025)

Towards a Unification of Logic and Information Theory
di: Lastras, Luis A., et al.
Pubblicazione: (2023)

A Truly Concurrent Semantics for Reversible CCS
di: Melgratti, Hernán, et al.
Pubblicazione: (2023)

Non-Transferability in Communication Channels and Tarski`s Truth Theorem
di: Naderian, Farhad
Pubblicazione: (2022)

The computational inevitability of life: self-replication under resource-bounded nested algorithmic probability
di: Sarkar, Aritra
Pubblicazione: (2020)

Complete Diagrammatic Axiomatisations of Relative Entropy
di: Sarkis, Ralph, et al.
Pubblicazione: (2026)

Cut-free Deductive System for Continuous Intuitionistic Logic
di: Geoffroy, Guillaume
Pubblicazione: (2025)

Algorithmic Randomness in Continuous-Time Markov Chains
di: Huang, Xiang, et al.
Pubblicazione: (2019)

Towards declarative comparabilities: application to functional dependencies
di: Nourine, Lhouari, et al.
Pubblicazione: (2019)

An Introduction to Categorical Proof Theory
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

Groupoidal Realizability for Intensional Type Theory
di: Speight, Sam
Pubblicazione: (2024)

Coslice Colimits in Homotopy Type Theory
di: Hart, Perry, et al.
Pubblicazione: (2024)

Arboreal Categories: An Axiomatic Theory of Resources
di: Abramsky, Samson, et al.
Pubblicazione: (2021)

Set Theory in the Foundation of Math; Internal Classes and External Sets
di: Levin, Leonid A.
Pubblicazione: (2022)

(Pointed) Univalence in Universe Category Models of Type Theory
di: Kapulkin, Chris, et al.
Pubblicazione: (2025)

Equivalence of Halting Problem to Convergence of Power Series
di: Fernandes, Antonio Joaquim
Pubblicazione: (2025)

Building Intelligent Databases through Similarity: Interaction of Logical and Qualitative Reasoning
di: Vilchis-Medina, José-Luis
Pubblicazione: (2025)

Order-theoretic models for decision-making: Learning, optimization, complexity and computation
di: Hack, Pedro
Pubblicazione: (2024)

Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm
di: Xu, Yang, et al.
Pubblicazione: (2025)

Reaching Classicality through Transitive Closure
di: Blomet, Quentin, et al.
Pubblicazione: (2025)

Small Decision Trees for MDPs with Deductive Synthesis
di: Andriushchenko, Roman, et al.
Pubblicazione: (2025)

Un cadre paraconsistant pour l'{é}valuation de similarit{é} dans les bases de connaissances
di: Medina, José-Luis Vilchis
Pubblicazione: (2025)

AutoDeduct: A Tool for Automated Deductive Verification of C Code
di: Amilon, Jesper, et al.
Pubblicazione: (2025)

Impredicativity in Linear Dependent Type Theory
di: Speight, Sam, et al.
Pubblicazione: (2026)

A Deductive Refinement Calculus for Differential-Algebraic Programs
di: Hellwig, Jonathan, et al.
Pubblicazione: (2026)

Practical Deductive Verification of OCaml Programs (Extended Version)
di: Pereira, Mário
Pubblicazione: (2024)

Theoremizing Yablo's Paradox
di: Karimi, Ahmad, et al.
Pubblicazione: (2014)

The Formal Theory of Monads, Univalently
di: van der Weide, Niels
Pubblicazione: (2022)

Two Cases of Deduction with Non-referring Descriptions
di: Raclavský, Jiří
Pubblicazione: (2024)

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
di: Foster, Simon, et al.
Pubblicazione: (2024)

Reasoning Around Paradox with Grounded Deduction
di: Ford, Bryan
Pubblicazione: (2024)

Synthetic 1-Categories in Directed Type Theory
di: Altenkirch, Thorsten, et al.
Pubblicazione: (2024)

Correspondence between Composite Theories and Distributive Laws
di: Rosset, Aloïs, et al.
Pubblicazione: (2024)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
di: Şakar, Ömer, et al.
Pubblicazione: (2026)

Proceedings Eighth International Conference on Applied Category Theory
di: Hadzihasanovic, Amar, et al.
Pubblicazione: (2026)

Deductive Systems for Logic Programs with Counting
di: Fandinno, Jorge, et al.
Pubblicazione: (2025)