Image de couverture de livre

Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Li, Cheuk Ting
Format:	Preprint
Publié:	2025
Sujets:	Information Theory Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Formalising Propositional Information via Implication Hypergraphs
par: Dalal, Vibhu
Publié: (2025)

Relational semantics for flat Heyting-Lewis Logic
par: de Groot, Jim, et autres
Publié: (2026)

Towards a Unification of Logic and Information Theory
par: Lastras, Luis A., et autres
Publié: (2023)

Information Physics of Intelligence: Unifying Logical Depth and Entropy under Thermodynamic Constraints
par: Xu, Jianfeng, et autres
Publié: (2025)

Quantifying Logical Consistency in Transformers via Query-Key Alignment
par: Tulchinskii, Eduard, et autres
Publié: (2025)

Diagrammatic Algebra of First Order Logic
par: Bonchi, Filippo, et autres
Publié: (2024)

On a Generalization of Heyting Algebras I
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2024)

On a Generalization of Heyting Algebras II
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2024)

First-Order Intuitionistic Linear Logic and Hypergraph Languages
par: Pshenitsyn, Tikhon
Publié: (2025)

Etale algebras over finite Heyting algebras
par: Evgeny, Kuznetsov
Publié: (2024)

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

Hereditarily Structurally Complete Superintuitionistic Logics and Primitive Varieties of Heyting Algebras
par: Citkin, Alex
Publié: (2025)

On the Computability of Finding Capacity-Achieving Codes
par: Gkekas, Angelos, et autres
Publié: (2025)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
par: Stanković, Marko, et autres
Publié: (2025)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
par: De Domenico, Andrea, et autres
Publié: (2024)

Hypergraph Semantics for Doxastic Logics
par: van Ditmarsch, Hans, et autres
Publié: (2025)

Equivalence and Conditional Independence in Atomic Sheaf Logic
par: Simpson, Alex
Publié: (2024)

New Second-Order Achievability Bounds for Coding with Side Information via Type Deviation Convergence
par: Li, Xiang, et autres
Publié: (2025)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
par: Chrysafis, et autres
Publié: (2025)

A Non-Probabilistic Game-Theoretic Information Theory Which Subsumes Probabilistic Channel Coding
par: Li, Cheuk Ting
Publié: (2026)

One-Shot Coding over General Noisy Networks
par: Liu, Yanxiao, et autres
Publié: (2024)

Degree of Satisfiability in Heyting Algebras
par: Bumpus, Benjamin Merlin, et autres
Publié: (2021)

Positive First-order Logic on Words and Graphs
par: Kuperberg, Denis
Publié: (2022)

Stable Canonical Rules and Formulas for Pre-transitive Logics via Definable Filtration
par: Takahashi, Tenyo
Publié: (2025)

Coexact completion of profinite Heyting algebras and uniform interpolation
par: Ye, Lingyuan
Publié: (2026)

Quantitative Equality in Substructural Logic via Lipschitz Doctrines
par: Dagnino, Francesco, et autres
Publié: (2021)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
par: Barloy, Corentin, et autres
Publié: (2025)

Non-Transferability in Communication Channels and Tarski`s Truth Theorem
par: Naderian, Farhad
Publié: (2022)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
par: Jana, Purbita, et autres
Publié: (2025)

A Diagrammatic Algebra for Program Logics
par: Bonchi, Filippo, et autres
Publié: (2024)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
par: Rogozin, Daniel
Publié: (2025)

What can Topology tell us about Logical Complexity?
par: Kihara, Takayuki, et autres
Publié: (2026)

A Logic for Veracity
par: Reeves, Steve
Publié: (2023)

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

Computability Limits of Sequential Hypothesis Testing
par: Leshem, Amir
Publié: (2026)

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

The Logical Embedding of Universal Frame Logic: A Sequent Calculus and Classical Interpretation
par: Kevin Fathi
Publié: (2025)

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
par: Jung, Jean Christoph, et autres
Publié: (2025)

Stack Representation of Finitely Presented Heyting Pretoposes I
par: Ye, Lingyuan
Publié: (2024)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)