:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Fernandes, Antonio Joaquim
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Information Theory 94-02
Online Access:	https://arxiv.org/abs/2509.16270
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Homotopy Theoretic and Categorical Models of Neural Information Networks
by: Manin, Yuri, et al.
Published: (2020)

Using Pseudocodewords to Transmit Information
by: Axvig, Nathan
Published: (2018)

On Chaitin's Heuristic Principle and Halting Probability
by: Salehi, Saeed
Published: (2023)

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

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

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

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

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)

Folding Custom Gates with Verifier Input
by: Vark, Aard, et al.
Published: (2024)

Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
by: Dudenhefner, Andrej
Published: (2022)

Computable domains of a Halting Function
by: Peralta, Abel Luis
Published: (2024)

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

Hydrochemistry measured on water bottle samples during John P. Tully cruise IOS_94-02
by: Whitney, Frank
Published: (2013)

Equivalence of constacyclic codes with shift constants of different orders
by: Dastbasteh, Reza, et al.
Published: (2024)

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

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

Investigating Bias in Political Search Query Suggestions by Relative Comparison with LLMs
by: Haak, Fabian, et al.
Published: (2024)

Modest Sets are Equivalent to PERs
by: Chhabra, Rahul
Published: (2024)

Algorithmic randomness and the weak merging of computable probability measures
by: Huttegger, Simon M., et al.
Published: (2025)

A Guide to Krivine Realizability for Set Theory
by: Matthews, Richard
Published: (2023)

Quality codes of physical oceanography data during John P. Tully cruise IOS_94-02
by: Whitney, Frank
Published: (2013)

Physical oceanography during John P. Tully cruise IOS_94-02
by: Whitney, Frank
Published: (2013)

How Category Theory Works: The Elements & Distinctions Analysis of the Morphisms, Duality, and Universal Constructions in Sets
by: Ellerman, David
Published: (2020)

On maximum distance separable and completely regular codes
by: Borges, Joaquim, et al.
Published: (2025)

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

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

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

Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
by: Tiurin, Aleksei, et al.
Published: (2024)

Markov Categories and Entropy
by: Perrone, Paolo
Published: (2022)

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

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

Theoremizing Yablo's Paradox
by: Karimi, Ahmad, et al.
Published: (2014)

On Reduction and Synthesis of Petri's Cycloids
by: Valk, Rüdiger, et al.
Published: (2024)

The Equivalence of Causal and Noncausal State Information on Bipartite Networks With State-Cognizant Receivers
by: Lapidoth, Amos, et al.
Published: (2026)

Language Equivalence is Undecidable in VASS with Restricted Nondeterminism
by: Czerwiński, Wojciech, et al.
Published: (2025)

On the power of iid information for linear approximation
by: Sonnleitner, Mathias, et al.
Published: (2023)

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

Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning
by: Mendez-Lucero, Miguel Angel, et al.
Published: (2024)

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