Buchumschlag

On the existence of strong proof complexity generators

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Krajicek, Jan
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Computational Complexity Logic in Computer Science Logic 03F20, 68Q11 F.1.1; F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Extended Nullstellensatz proof systems
von: Krajicek, Jan
Veröffentlicht: (2023)

A proof complexity conjecture and the Incompleteness theorem
von: Krajicek, Jan
Veröffentlicht: (2023)

Failure of the strong feasible disjunction property
von: Krajicek, Jan
Veröffentlicht: (2026)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
von: Schewe, Klaus-Dieter
Veröffentlicht: (2020)

A Logspace Constructive Proof of L=SL
von: Buss, Sam, et al.
Veröffentlicht: (2025)

A correspondence between the time and space complexity
von: Latkin, Ivan V.
Veröffentlicht: (2023)

A Theory for Probabilistic Polynomial-Time Reasoning
von: Chen, Lijie, et al.
Veröffentlicht: (2026)

On the Realizability of Prime Conjectures in Heyting Arithmetic
von: Rosko, Milan
Veröffentlicht: (2025)

Adversarial Barrier in Uniform Class Separation
von: Rosko, Milan
Veröffentlicht: (2025)

Punctually Standard and Nonstandard Models of Natural Numbers
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2026)

Arithmetics within the Linear Time Hierarchy
von: Pollett, Chris
Veröffentlicht: (2025)

The Solver's Paradox in Formal Problem Spaces
von: Rosko, Milan
Veröffentlicht: (2025)

Relative Constructibility via Generalised Sequential Algorithms
von: Lau, Desmond
Veröffentlicht: (2024)

Exploring the abyss in Kleene's computability theory
von: Sanders, Sam
Veröffentlicht: (2023)

On some computational properties of open sets
von: Normann, Dag, et al.
Veröffentlicht: (2024)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
von: Rahnama, Moses
Veröffentlicht: (2025)

Psi-Turing Machines: Bounded Introspection for Complexity Barriers and Oracle Separations
von: Huseynzade, Rafig
Veröffentlicht: (2025)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
von: Santo, José Espírito, et al.
Veröffentlicht: (2020)

Weihrauch problems as containers
von: Pradic, Cécilia, et al.
Veröffentlicht: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
von: Hori, Hiromasa, et al.
Veröffentlicht: (2023)

Neural networks as fuzzy logic formulas
von: Heiman, Damian, et al.
Veröffentlicht: (2026)

The equational theory of the Weihrauch lattice with (iterated) composition
von: Pradic, Cécilia
Veröffentlicht: (2024)

What If Turing Had Preceded Gödel?
von: Oberhoff, Sebastian
Veröffentlicht: (2024)

A declarative approach to specifying distributed algorithms using three-valued modal logic
von: Gabbay, Murdoch J., et al.
Veröffentlicht: (2025)

Glivenko's theorems from an ecumenical perspective
von: Pereira, Luiz Carlos, et al.
Veröffentlicht: (2026)

On the computational properties of ambivalent sets and functions
von: Normann, Dag, et al.
Veröffentlicht: (2026)

Complexities of Well-Quasi-Ordered Substructural Logics
von: Galatos, Nikolaos, et al.
Veröffentlicht: (2025)

Loops, Inverse Limits and Non-Determinism
von: Brattka, Vasco
Veröffentlicht: (2025)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

How to Verify a Turing Machine with Dafny
von: Lederer, Edgar F. A.
Veröffentlicht: (2026)

Commutative N-polyregular functions
von: Lopez, Aliaume
Veröffentlicht: (2024)

Computability of Initial Value Problems
von: Brattka, Vasco, et al.
Veröffentlicht: (2024)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
von: Adsul, Bharat, et al.
Veröffentlicht: (2024)

Hardness of busy beaver value BB(15)
von: Stérin, Tristan, et al.
Veröffentlicht: (2021)

On Some Complexity Results for Even Linear Languages
von: Cojocaru, Liliana
Veröffentlicht: (2024)

A propositional cirquent calculus for computability logic
von: Japaridze, Giorgi
Veröffentlicht: (2024)

Descriptive complexity for neural networks via Boolean networks
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2023)

Probabilistic Shoenfield Machines
von: Bujok, Maksymilian, et al.
Veröffentlicht: (2024)

Reversible computations are computations
von: Aubert, Clément, et al.
Veröffentlicht: (2025)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
von: Borzechowski, Manfred, et al.
Veröffentlicht: (2025)