Copertina

A Linear-Size Block-Partition Fibonacci Encoding for Gödel Numbering

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Sóstai, Zoltán
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science Information Theory 03B70, 11B39, 03D20
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Apartness relations between propositions
di: Kocsis, Zoltan A.
Pubblicazione: (2022)

Weihrauch problems as containers
di: Pradic, Cécilia, et al.
Pubblicazione: (2025)

A Minimal Substitution Basis for the Kalmár Elementary Functions
di: Prunescu, Mihai, et al.
Pubblicazione: (2025)

A proof-theoretical approach to some extensions of first order quantification
di: Allègre, Loïc, et al.
Pubblicazione: (2024)

Proof-theoretic methods in quantifier-free definability
di: Kocsis, Zoltan A.
Pubblicazione: (2023)

The Golden Path to Guarded Monotone Strict NP
di: Barsukov, Alexey, et al.
Pubblicazione: (2023)

First-Order Modal Logic via Logical Categories
di: Ghilardi, Silvio, et al.
Pubblicazione: (2025)

Interleaving Logic and Counting
di: van Benthem, Johan, et al.
Pubblicazione: (2025)

Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
di: Coniglio, Marcelo E., et al.
Pubblicazione: (2024)

A propositional cirquent calculus for computability logic
di: Japaridze, Giorgi
Pubblicazione: (2024)

Problems with fixpoints of polynomials of polynomials
di: Pradic, Cécilia, et al.
Pubblicazione: (2026)

Refutability as Recursive as Provability
di: Cattabriga, Paola
Pubblicazione: (2024)

Coexact completion of profinite Heyting algebras and uniform interpolation
di: Ye, Lingyuan
Pubblicazione: (2026)

Domains and Classifying Topoi
di: Sterling, Jonathan, et al.
Pubblicazione: (2025)

Intuitionistic Common Knowledge
di: Zenger, Lukas
Pubblicazione: (2026)

Completeness and Well-Definability of a Provability Degree Measure in Sufficiently Powerful Formal Systems, and Finite-Time Effective Knowers
di: Bahl, Rohan
Pubblicazione: (2024)

Examples and counterexamples of injective types
di: de Jong, Tom, et al.
Pubblicazione: (2026)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
di: Lyon, Tim S.
Pubblicazione: (2025)

Computability in infinite Galois theory and algorithmically random algebraic fields
di: Calvert, Wesley, et al.
Pubblicazione: (2023)

The Polynomial Hierarchy and $ω$-categorical CSPs
di: Pro, Santiago Guzmán, et al.
Pubblicazione: (2026)

Modal Separability of Fixpoint Formulae
di: Jung, Jean Christoph, et al.
Pubblicazione: (2024)

A diagrammatic proof-theoretic semantics for the Greimas semiotic square
di: Fowler, Michael
Pubblicazione: (2026)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
di: Japaridze, Giorgi
Pubblicazione: (2026)

On Probabilistic $ω$-Pushdown Systems, and $ω$-Probabilistic Computational Tree Logic
di: Lin, Deren, et al.
Pubblicazione: (2022)

Degree of Satisfiability in Heyting Algebras
di: Bumpus, Benjamin Merlin, et al.
Pubblicazione: (2021)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
di: Koshkin, Sergiy
Pubblicazione: (2024)

The Sup Connective in IMALL: A Categorical Semantics
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2022)

The fork and its role in unification of closure algebras
di: Düntsch, Ivo, et al.
Pubblicazione: (2023)

On the logic of interventionist counterfactuals under indeterministic causal laws
di: Barbero, Fausto
Pubblicazione: (2023)

Possibility Semantics
di: Holliday, Wesley H.
Pubblicazione: (2024)

Formalizing Pfaffian in bounded arithmetic
di: Kuroda, Satoru
Pubblicazione: (2024)

Evaluation trees for proposition algebra
di: Bergstra, Jan A., et al.
Pubblicazione: (2015)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
di: Hausmann, Daniel, et al.
Pubblicazione: (2022)

On the expressive power of inquisitive epistemic logic
di: Ciardelli, Ivano, et al.
Pubblicazione: (2023)

Intuitionistic Sahlqvist theory for deductive systems
di: Fornasiere, Damiano, et al.
Pubblicazione: (2022)

Theoremizing Yablo's Paradox
di: Karimi, Ahmad, et al.
Pubblicazione: (2014)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
di: Gylterud, Håkon Robbestad, et al.
Pubblicazione: (2020)

Discrete dualities for some algebras from rough sets
di: Düntsch, Ivo, et al.
Pubblicazione: (2026)

The complexity of being monitorable
di: Camerlo, Riccardo, et al.
Pubblicazione: (2026)

A simplified lower bound for implicational logic
di: Jeřábek, Emil
Pubblicazione: (2023)