Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-03T14:18:46.291346Z
Paper Citation Record · LEDGER
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra
As of 16 August 2026, this Paper Citation Record lists 75 of 75 outbound references and 2 inbound Pith citation observations for arXiv:2512.21112.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-02T16:40:03.769171Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-11T08:50:58.194968Z
Reference resolution
75 of 75 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved75
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 3b8a7045-36f8-4d62-94e6-bad5482d1dcb · outbound
This paper cites On the amount of information,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra On the amount of information,
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:38.797988Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f2cf6e5a-7d75-4e3a-a53f-2fd33394139d · outbound
This paper cites an unresolved cited work.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:38.898706Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d81a74bb-450b-408d-9dd1-b8b64bcba5dd · outbound
This paper cites A new outlook on Shannon’s information measures,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra A new outlook on Shannon’s information measures,
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:39.014407Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 13964d48-9291-4503-9664-124787e7bfde · outbound
This paper cites An introduction to partition logic,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra An introduction to partition logic,
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:39.150688Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1f6c7626-e4dc-4312-8419-e6001c7831b5 · outbound
This paper cites Logical information theory: new logical foundations for information theory,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Logical information theory: new logical foundations for information theory,
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:39.306456Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f333e028-8296-48c5-9490-a42fde7a8fc4 · outbound
This paper cites Logical entropy: Introduction to classical and quantum logical information theory,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Logical entropy: Introduction to classical and quantum logical information theory,
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:39.447885Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2e90427d-6610-4dd9-b11a-9c0de98f229f · outbound
This paper cites A logarithmic decomposition for information,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra A logarithmic decomposition for information,
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:39.565134Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0f59be03-2b1f-4b72-b64b-525317471e04 · outbound
This paper cites A Poisson decomposition for information and the information-event diagram,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra A Poisson decomposition for information and the information-event diagram,
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:39.687710Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d9b14de6-27fe-4ada-a78c-19127913237d · outbound
This paper cites On the capacity of uniform hypergraphs,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra On the capacity of uniform hypergraphs,
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:39.839161Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 12f3af48-ff14-48f1-9dfc-ec4fd48c25bc · outbound
This paper cites Entanglement-assisted zero-error communication,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Entanglement-assisted zero-error communication,
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:39.991403Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 56923dee-0a0c-44a6-aed2-14fd987d6c86 · outbound
This paper cites Die formalen regeln der intuitionistischen logik,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Die formalen regeln der intuitionistischen logik,
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:40.165172Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 88b605f0-8e3d-4f20-a7f5-2933c492137d · outbound
This paper cites Esakia,Heyting Algebras: Duality Theory, ser.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Esakia,Heyting Algebras: Duality Theory, ser
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:40.276804Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 222bf0c0-a351-4ed7-831c-3e9cb8746158 · outbound
This paper cites Finite problems,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Finite problems,
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:40.387236Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cd1ff303-afe6-41ae-baf7-a2e0b6ea2eca · outbound
This paper cites Intermediate logics and factors of the Medvedev lattice,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Intermediate logics and factors of the Medvedev lattice,
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:40.510679Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b7670f4e-1a6c-4437-a784-6bcdffff64d3 · outbound
This paper cites Network information flow,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Network information flow,
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:40.599072Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9da9a1ff-0d18-4236-a46f-4675ee21128a · outbound
This paper cites an unresolved cited work.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Unresolved cited work
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:40.679525Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 08f8745d-bd5f-4473-bc1f-1cdc93d83f98 · outbound
This paper cites Über die bausteine der mathematischen logik,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Über die bausteine der mathematischen logik,
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:40.797858Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9da1ca5d-986a-4ced-97f1-aaf1abec0fa5 · outbound
This paper cites an unresolved cited work.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Unresolved cited work
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:40.929466Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 31513787-2a01-4438-b317-726220799170 · outbound
This paper cites an unresolved cited work.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Unresolved cited work
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:41.008915Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c92ff724-ddcf-4395-90a6-9d7d7da089d6 · outbound
This paper cites Linear network coding,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Linear network coding,
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:41.132383Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e7c7d68e-0450-46aa-b7f8-b68d0d0d60f5 · outbound
This paper cites Informed-source coding-on-demand (ISCOD) over broadcast channels,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Informed-source coding-on-demand (ISCOD) over broadcast channels,
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:41.224132Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 04b8bc0e-f0ae-4fd1-859d-4a223b236ca8 · outbound
This paper cites Index coding with side information,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Index coding with side information,
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:41.281735Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 60ffe334-8f59-4e60-a21e-1a6b9f4f437f · outbound
This paper cites On the index coding problem and its relation to network coding and matroid theory,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra On the index coding problem and its relation to network coding and matroid theory,
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:41.406058Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 710b73f9-ce9b-475a-b3d8-1f04c0c20b0d · outbound
This paper cites Noiseless coding of correlated information sources,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Noiseless coding of correlated information sources,
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:41.545853Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a203f1fc-e23a-47eb-8088-0bfa7a291cd0 · outbound
This paper cites Source coding for a simple network,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Source coding for a simple network,
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:41.718739Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 42cd0300-0a19-4845-93dd-642085d8b85b · outbound
This paper cites The formulae-as-types notion of construction,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra The formulae-as-types notion of construction,
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:41.879477Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fcaab7b7-d82d-4627-a85b-e0d45520ec5f · outbound
This paper cites an unresolved cited work.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Unresolved cited work
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:41.999091Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c9779ce3-a890-4cd6-b06f-24987f9edfe1 · outbound
This paper cites New bounds for perfect hashing via information theory,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra New bounds for perfect hashing via information theory,
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:42.080509Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7b9e2759-d332-4318-bd1d-4a6748a85d88 · outbound
This paper cites Graph entropy: a survey,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Graph entropy: a survey,
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:42.166262Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 819d06a0-daa7-42e9-ac22-589a2f09a5fc · outbound
This paper cites Coding of an information source having ambiguous alphabet and the entropy of graphs,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Coding of an information source having ambiguous alphabet and the entropy of graphs,
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:42.251733Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d9af92ec-0f17-4f43-8b9b-9915f9d9775a · outbound
This paper cites A method for the construction of minimum-redundancy codes,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra A method for the construction of minimum-redundancy codes,
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:42.381581Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b6f81dc9-e7fb-421e-ab47-43ba17517c8f · outbound
This paper cites Strong functional representation lemma and applications to coding theorems,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Strong functional representation lemma and applications to coding theorems,
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:42.429225Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 99794afa-06b0-4ad0-bdae-9d9998434635 · outbound
This paper cites Discrete layered entropy, conditional compression and a tighter strong functional representation lemma,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Discrete layered entropy, conditional compression and a tighter strong functional representation lemma,
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:42.508766Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation aba798b2-d9aa-49a4-9ee9-61b2cb22fe04 · outbound
This paper cites The zero error capacity of a noisy channel,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra The zero error capacity of a noisy channel,
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:42.623942Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cf22165f-a60c-4880-9750-cbffb79a2e50 · outbound
This paper cites The Shannon capacity of a graph and the independence numbers of its powers,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra The Shannon capacity of a graph and the independence numbers of its powers,
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:42.711176Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4f8d293e-cea2-4f8f-aad0-fdafdd920d29 · outbound
This paper cites Zero error capacity under list decoding,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Zero error capacity under list decoding,
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:42.781000Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dbc0362c-e4b3-453a-bed9-619b9e9b76da · outbound
This paper cites A formulae-as-type notion of control,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra A formulae-as-type notion of control,
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:42.910020Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5275ef8e-b859-43f3-b944-ea6fb8e37015 · outbound
This paper cites Logic of infinite problems and Kripke models on atomic semilattices of sets,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Logic of infinite problems and Kripke models on atomic semilattices of sets,
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:43.039168Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d069e337-3b86-45be-9804-5f5b7f5a2a36 · outbound
This paper cites Common information is far less than mutual information,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Common information is far less than mutual information,
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:43.100546Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c82dee0f-0a5a-4f18-a8b0-a35770c75e5a · outbound
This paper cites Information lattices and subgroup lattices: Isomorphisms and approximations,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Information lattices and subgroup lattices: Isomorphisms and approximations,
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:43.203083Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f30347d5-5a6a-4755-a359-ec56b5c49ce7 · outbound
This paper cites Possible generalization of Boltzmann-Gibbs statistics,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Possible generalization of Boltzmann-Gibbs statistics,
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:43.285628Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d31ba857-8faa-42a9-b27d-c87015e8d07d · outbound
This paper cites The common information of two dependent random variables,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra The common information of two dependent random variables,
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:43.376734Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9e6b7502-67d3-470e-b11a-51cad01b0a46 · outbound
This paper cites Exact common information,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Exact common information,
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:43.445440Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9c84be6e-d895-4a83-bc20-54c25ca2b7ba · outbound
This paper cites Extended Gray–Wyner system with complementary causal side information,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Extended Gray–Wyner system with complementary causal side information,
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:43.539344Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 547dd81f-69c0-4bbe-9934-8afe91bd7232 · outbound
This paper cites An inequality on guessing and its application to sequential decoding,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra An inequality on guessing and its application to sequential decoding,
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:43.627995Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 53450418-d3ed-4703-a2a9-afce08f2324a · outbound
This paper cites Encoding tasks and rényi entropy,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Encoding tasks and rényi entropy,
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:43.725641Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a56bf092-45c6-46ba-8f9c-4d15575b3e2f · outbound
This paper cites Semantic information,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Semantic information,
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:43.789164Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 737cc83c-fc5b-43ca-8936-cadee860f446 · outbound
This paper cites Towards a Unification of Logic and Information Theory.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Towards a Unification of Logic and Information Theory
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:43.856963Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e7e37635-ab90-46b0-9136-be6da91ed88c · outbound
This paper cites Eijck and A.
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:43.935485Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 81f464c9-0bd0-47d1-a2e4-db19b6ac21a4 · outbound
This paper cites On the logic of information flow,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra On the logic of information flow,
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:44.088500Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 53648d8a-1a9d-46b0-8bf2-8de5ce7562fe · outbound
This paper cites an unresolved cited work.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Unresolved cited work
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:44.152898Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0970bfd5-bc95-4de8-868f-fe27b4eabd6a · outbound
This paper cites Symmetric heyting relation algebras with applications to hypergraphs,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Symmetric heyting relation algebras with applications to hypergraphs,
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:44.239190Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2dcf629b-869f-4b15-b0f1-e07acf8d34be · outbound
This paper cites Berger,Rate Distortion Theory: A Mathematical Basis for Data Compression.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Berger,Rate Distortion Theory: A Mathematical Basis for Data Compression
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:44.309677Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bad8a599-98ce-4e6b-b5a1-d9442952819f · outbound
This paper cites Relaxations of vertex packing,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Relaxations of vertex packing,
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:44.369928Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6bfe29f4-5c59-436c-897d-e2da3fff3c62 · outbound
This paper cites Entropy splitting for antiblocking corners and perfect graphs,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Entropy splitting for antiblocking corners and perfect graphs,
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:44.456256Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2fb38c30-7f41-4771-ae5e-fc95fadc9b30 · outbound
This paper cites On measures of entropy and information,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra On measures of entropy and information,
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:44.518413Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 862ec4fb-c3d6-494e-8bbc-78c4205c063c · outbound
This paper cites Transmission of information,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Transmission of information,
Reference 57
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:44.582018Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a0a9f18f-0ea0-49d6-ba60-34fba8b4d8c4 · outbound
This paper cites Esakia duals of regular Heyting algebras,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Esakia duals of regular Heyting algebras,
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:44.665942Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b171ae2c-186c-4d9a-b6f3-5adc14c21b01 · outbound
This paper cites an unresolved cited work.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Unresolved cited work
Reference 59
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:44.763225Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e07a1765-2ffb-4bdd-9dab-d88d659a5f00 · outbound
This paper cites A propositional calculus with denumerable matrix,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra A propositional calculus with denumerable matrix,
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:44.829136Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation deba55af-c32d-46ff-b8a4-ff9c1dad80cc · outbound
This paper cites Polynomial codes over certain finite fields,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Polynomial codes over certain finite fields,
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:44.913387Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4c17423a-9632-4ea7-9c48-c955382fb185 · outbound
This paper cites Eine unableitbarkeitsbeweismethode für den intuitionistischen aussagenkalkül,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Eine unableitbarkeitsbeweismethode für den intuitionistischen aussagenkalkül,
Reference 62
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:44.973885Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 90205ce7-4db0-41e1-99ed-360d850efe79 · outbound
This paper cites Some results on intermediate constructive logics,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Some results on intermediate constructive logics,
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:45.016068Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a8960164-1b03-4c43-826d-194eef3957a1 · outbound
This paper cites An Intermediate Logic Contained in Medvedev's Logic with Disjunction Property.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra An Intermediate Logic Contained in Medvedev's Logic with Disjunction Property
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:45.077838Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 61dded3c-ba24-4598-b597-686a1f3f499a · outbound
This paper cites Aubin and H.
Reference 65
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:45.156750Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e9bcfcf8-f7d2-4c9f-a323-aacba99529af · outbound
This paper cites Relative capacity and dimension of graphs,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Relative capacity and dimension of graphs,
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:45.252616Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 71ebf5ac-cd0d-4e1b-a564-e5e88692266f · outbound
This paper cites Graph information ratio,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Graph information ratio,
Reference 67
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:45.316089Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 484a780b-5a78-4e67-9c3a-312da138cae3 · outbound
This paper cites Computation of channel capacity and rate-distortion functions,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Computation of channel capacity and rate-distortion functions,
Reference 68
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:45.397043Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7f088c3b-88d8-4a15-b056-4c29936e1c4e · outbound
This paper cites An algorithm for computing the capacity of arbitrary discrete memoryless channels,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra An algorithm for computing the capacity of arbitrary discrete memoryless channels,
Reference 69
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:45.468997Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 76aeddbf-536e-49ef-bf48-4a6f11bdb670 · outbound
This paper cites The theory of representation for Boolean algebras,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra The theory of representation for Boolean algebras,
Reference 70
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:45.533685Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dd8ea0aa-88e9-449b-90a5-f42d22fa70fb · outbound
This paper cites On join-dense subsets of certain families of aggregation functions,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra On join-dense subsets of certain families of aggregation functions,
Reference 71
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:45.619931Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1b3d01d1-9866-4811-b08a-5295e9c51d61 · outbound
This paper cites an unresolved cited work.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Unresolved cited work
Reference 72
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:45.715962Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0ccfa207-0b23-4b73-8e82-0f9bc99b13f9 · outbound
This paper cites Join-prime elements in semidistributive lattices,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Join-prime elements in semidistributive lattices,
Reference 73
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:45.877801Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ec68a28d-cd9e-46a9-b786-f445e3d56cb7 · outbound
This paper cites Channel simulation: Theory and applications to lossy compression and differential privacy,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra Channel simulation: Theory and applications to lossy compression and differential privacy,
Reference 74
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:46.178674Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bd50df36-d01f-4a08-9ac4-04e31564b8ac · outbound
This paper cites The proof theory and semantics of intuitionistic modal logic,.
Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra The proof theory and semantics of intuitionistic modal logic,
Reference 75
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:18:46.291346Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
Observation 8ec433fe-8cdc-4a63-93d2-2584c43d2a16 · inbound
A Non-Probabilistic Game-Theoretic Information Theory Which Subsumes Probabilistic Channel Coding cites this paper.
A Non-Probabilistic Game-Theoretic Information Theory Which Subsumes Probabilistic Channel Coding Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra
Reference 38
- Resolution
- verified exact
- arxiv_id, observed 2026-07-28T03:24:07.654185Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c3ebf445-c830-4d02-acdb-04c8709f4b0c · inbound
A Non-Probabilistic Game-Theoretic Information Theory Which Subsumes Probabilistic Channel Coding cites this paper.
A Non-Probabilistic Game-Theoretic Information Theory Which Subsumes Probabilistic Channel Coding Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T16:40:03.769171Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.