Buchumschlag

Formalising Propositional Information via Implication Hypergraphs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Dalal, Vibhu
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic Information Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Formalising the Bruhat-Tits Tree
von: Ludwig, Judith, et al.
Veröffentlicht: (2025)

Formalising the local compactness of the adele ring
von: Mercuri, Salvatore
Veröffentlicht: (2024)

Lecture Notes on Algorithmic Information Theory
von: Bédard, Charles Alexandre
Veröffentlicht: (2025)

On the Computability of Finding Capacity-Achieving Codes
von: Gkekas, Angelos, et al.
Veröffentlicht: (2025)

Computability Limits of Sequential Hypothesis Testing
von: Leshem, Amir
Veröffentlicht: (2026)

Length Functions and the Dimension of Points in Self-Similar Fractal Trees
von: Porter, Christopher P.
Veröffentlicht: (2024)

Towards a Unification of Logic and Information Theory
von: Lastras, Luis A., et al.
Veröffentlicht: (2023)

Formalising Inductive and Coinductive Containers
von: Damato, Stefania, et al.
Veröffentlicht: (2024)

Fundamental Propositional Logic with Strict Implication
von: Chen, Zhicheng
Veröffentlicht: (2025)

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

Growth and irreducibility in path-incompressible trees
von: Barmpalias, George, et al.
Veröffentlicht: (2022)

Complexity of inversion of functions on the reals
von: Barmpalias, George, et al.
Veröffentlicht: (2024)

Quantifying Information Loss under Coarse-Grained Partitions: A Discrete Framework for Explainable Artificial Intelligence
von: Izumo, Takashi
Veröffentlicht: (2025)

Collision-resistant hash-shuffles on the reals
von: Barmpalias, George, et al.
Veröffentlicht: (2025)

Rate-Distortion Theory for Deductive Sources under Closure Fidelity
von: Xu, Jianfeng
Veröffentlicht: (2026)

Computable one-way functions on the reals
von: Barmpalias, George, et al.
Veröffentlicht: (2024)

A Truly Concurrent Semantics for Reversible CCS
von: Melgratti, Hernán, et al.
Veröffentlicht: (2023)

Non-Transferability in Communication Channels and Tarski`s Truth Theorem
von: Naderian, Farhad
Veröffentlicht: (2022)

Dimensionality and randomness
von: Barmpalias, George, et al.
Veröffentlicht: (2024)

Compression of enumerations and gain
von: Barmpalias, George, et al.
Veröffentlicht: (2023)

Von Neumann Entropy and Quantum Algorithmic Randomness
von: Bhojraj, Tejas
Veröffentlicht: (2024)

Information Physics of Intelligence: Unifying Logical Depth and Entropy under Thermodynamic Constraints
von: Xu, Jianfeng, et al.
Veröffentlicht: (2025)

Quantifying Logical Consistency in Transformers via Query-Key Alignment
von: Tulchinskii, Eduard, et al.
Veröffentlicht: (2025)

Complete Diagrammatic Axiomatisations of Relative Entropy
von: Sarkis, Ralph, et al.
Veröffentlicht: (2026)

Algorithmic Randomness in Continuous-Time Markov Chains
von: Huang, Xiang, et al.
Veröffentlicht: (2019)

Towards declarative comparabilities: application to functional dependencies
von: Nourine, Lhouari, et al.
Veröffentlicht: (2019)

A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead
von: Nakamura, Yoshiki
Veröffentlicht: (2026)

First-Order Intuitionistic Linear Logic and Hypergraph Languages
von: Pshenitsyn, Tikhon
Veröffentlicht: (2025)

Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
von: Tiurin, Aleksei, et al.
Veröffentlicht: (2024)

Theoremizing Yablo's Paradox
von: Karimi, Ahmad, et al.
Veröffentlicht: (2014)

Formalising the Double-Pushout Approach to Graph Transformation
von: Söldner, Robert, et al.
Veröffentlicht: (2023)

Equivalence of Halting Problem to Convergence of Power Series
von: Fernandes, Antonio Joaquim
Veröffentlicht: (2025)

Building Intelligent Databases through Similarity: Interaction of Logical and Qualitative Reasoning
von: Vilchis-Medina, José-Luis
Veröffentlicht: (2025)

Order-theoretic models for decision-making: Learning, optimization, complexity and computation
von: Hack, Pedro
Veröffentlicht: (2024)

Propositional Calculus with Multiple Negations
von: Ramírez, Oscar
Veröffentlicht: (2024)

Partial decidability protocol for the Wang tiling problem from statistical mechanics and chaotic mapping
von: Canfora, Fabrizio, et al.
Veröffentlicht: (2025)

The computational inevitability of life: self-replication under resource-bounded nested algorithmic probability
von: Sarkar, Aritra
Veröffentlicht: (2020)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
von: Ding, Yifeng, et al.
Veröffentlicht: (2024)