Cover Image

Towards a Unification of Logic and Information Theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lastras, Luis A., Trager, Barry, Lenchner, Jonathan, Szpankowski, Wojtek, Wu, Chai Wah, Squillante, Mark, Fagin, Ron, Gray, Alex
Format:	Preprint
Published:	2023
Subjects:	Information Theory Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Breaking through the classical Shannon entropy limit: A new frontier through logical semantics
by: Lastras, Luis A., et al.
Published: (2024)

Multi-Structural Games and Number of Quantifiers
by: Fagin, Ronald, et al.
Published: (2021)

Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra
by: Li, Cheuk Ting
Published: (2025)

Who Wins the Multi-Structural Game?
by: Fagin, Ronald, et al.
Published: (2025)

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

On the Number of Quantifiers Needed to Define Boolean Functions
by: Carmosino, Marco, et al.
Published: (2024)

Multi-Structural Games and Beyond
by: Carmosino, Marco, et al.
Published: (2023)

Formalising Propositional Information via Implication Hypergraphs
by: Dalal, Vibhu
Published: (2025)

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

Parallel Play Saves Quantifiers
by: Carmosino, Marco, et al.
Published: (2024)

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

Equivalence and Conditional Independence in Atomic Sheaf Logic
by: Simpson, Alex
Published: (2024)

Rate-Distortion Theory for Deductive Sources under Closure Fidelity
by: Xu, Jianfeng
Published: (2026)

Relative Unification in Intuitionistic Logic: Towards provability logic of HA
by: Mojtahedi, Mojtaba
Published: (2022)

Quantifying Logical Consistency in Transformers via Query-Key Alignment
by: Tulchinskii, Eduard, et al.
Published: (2025)

Computability Limits of Sequential Hypothesis Testing
by: Leshem, Amir
Published: (2026)

On the Computability of Finding Capacity-Achieving Codes
by: Gkekas, Angelos, et al.
Published: (2025)

Length Functions and the Dimension of Points in Self-Similar Fractal Trees
by: Porter, Christopher P.
Published: (2024)

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

An extension of Priestley duality to fuzzy topologies and positive MV-algebras
by: Ortiz, Marby Zuley Bolaños, et al.
Published: (2025)

Growth and irreducibility in path-incompressible trees
by: Barmpalias, George, et al.
Published: (2022)

Complexity of inversion of functions on the reals
by: Barmpalias, George, et al.
Published: (2024)

Unification in Matching Logic -- Revisited
by: Kurucz, Ádám, et al.
Published: (2024)

Quantifying Information Loss under Coarse-Grained Partitions: A Discrete Framework for Explainable Artificial Intelligence
by: Izumo, Takashi
Published: (2025)

Computable one-way functions on the reals
by: Barmpalias, George, et al.
Published: (2024)

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

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

Dimensionality and randomness
by: Barmpalias, George, et al.
Published: (2024)

Collision-resistant hash-shuffles on the reals
by: Barmpalias, George, et al.
Published: (2025)

Compression of enumerations and gain
by: Barmpalias, George, et al.
Published: (2023)

Von Neumann Entropy and Quantum Algorithmic Randomness
by: Bhojraj, Tejas
Published: (2024)

Diagrams of opposition: an algebraic viewpoint
by: Wu, Chai Wah
Published: (2024)

New foundations of reasoning via real-valued first-order logics
by: Badia, Guillermo, et al.
Published: (2022)

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

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

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

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

Reflexive graph lenses in univalent foundations
by: Sterling, Jonathan
Published: (2024)

Positive First-order Logic on Words and Graphs
by: Kuperberg, Denis
Published: (2022)

An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)