Copertina

Refutability as Recursive as Provability

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Cattabriga, Paola
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Logic 03D99 03B70 68Q01
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Provability in BI's Sequent Calculus is Decidable
di: Gheorghiu, Alexander, et al.
Pubblicazione: (2021)

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

Preservation theorems on sparse classes revisited
di: Dawar, Anuj, et al.
Pubblicazione: (2024)

A note reviewing Turing's 1936
di: Cattabriga, Paola
Pubblicazione: (2013)

Reflections on Russell's antinomy
di: Cattabriga, Paola
Pubblicazione: (2024)

Matching logic -- a new axiomatization
di: Leuştean, Laurenţiu, et al.
Pubblicazione: (2025)

Notes on applicative matching logic
di: Leuştean, Laurenţiu
Pubblicazione: (2025)

Finitely Bounded Homogeneity Turned Inside-Out
di: Rydval, Jakub
Pubblicazione: (2021)

Deciding subspace reachability problems with application to Skolem's Problem
di: Everett, Samuel
Pubblicazione: (2024)

Normalization properties of $λμ$-calculus using realizability semantics
di: Battyanyi, Peter, et al.
Pubblicazione: (2023)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
di: Jaber, Guilhem, et al.
Pubblicazione: (2025)

There is a deep 1-generic set
di: Li, Ang
Pubblicazione: (2024)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
di: Alpay, Faruk, et al.
Pubblicazione: (2025)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
di: Lopez, Aliaume
Pubblicazione: (2024)

Behavioural Conformances based on Lax Couplings
di: Wild, Paul, et al.
Pubblicazione: (2025)

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

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
di: Alpay, Faruk, et al.
Pubblicazione: (2026)

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

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

Algebraic Proof Theory for Infinitary Action Logic
di: Fussner, Wesley, et al.
Pubblicazione: (2025)

A Constructive Proof of Rice's Theorem and the Halting Problem via Hilbert's Tenth Problem
di: Brossard, Jonathan
Pubblicazione: (2026)

Variants of Solovay reducibility
di: Titov, Ivan
Pubblicazione: (2024)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
di: Forster, Jonas, et al.
Pubblicazione: (2026)

Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses
di: Alpay, Faruk, et al.
Pubblicazione: (2026)

On the incomputability of computable dimension
di: Staiger, Ludwig
Pubblicazione: (2019)

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

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

Strong Kurtz Randomness and Binary Expansions of Reordered Computable Numbers
di: Hertling, Peter, et al.
Pubblicazione: (2025)

Choiceless Polynomial Space
di: Ferrarotti, Flavio, et al.
Pubblicazione: (2024)

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

Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
di: Sorg, Christopher
Pubblicazione: (2026)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
di: van der Meyden, Ron
Pubblicazione: (2025)

The equational theory of the Weihrauch lattice with (iterated) composition
di: Pradic, Cécilia
Pubblicazione: (2024)

The equational theory of the Weihrauch lattice with multiplication
di: Neumann, Eike, et al.
Pubblicazione: (2024)

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

Exploring P versus NP
di: Tang, Jian-Gang
Pubblicazione: (2022)

A Logspace Constructive Proof of L=SL
di: Buss, Sam, et al.
Pubblicazione: (2025)

Continuous and algebraic domains in univalent foundations
di: de Jong, Tom, et al.
Pubblicazione: (2024)