Cover Image

Semi-Algebraic Proof Systems for QBF

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Beyersdorff, Olaf, Bonacina, Ilario, Kasche, Kaspar, Mahajan, Meena, Spachmann, Luc Nicolas
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Computational Complexity Logic 03F20, 03D15
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hard QBFs for Merge Resolution
by: Beyersdorff, Olaf, et al.
Published: (2020)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)

Adversarial Barrier in Uniform Class Separation
by: Rosko, Milan
Published: (2025)

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

From Gödel incompleteness to the consistency of circuit lower bounds
by: Atserias, Albert, et al.
Published: (2026)

A proof of P!=NP
by: McCallum, Rupert
Published: (2020)

Redundancy rules for MaxSAT
by: Bonacina, Ilario, et al.
Published: (2025)

Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution
by: Beyersdorff, Olaf, et al.
Published: (2021)

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

A Theory for Probabilistic Polynomial-Time Reasoning
by: Chen, Lijie, et al.
Published: (2026)

Online and feasible presentability: from trees to modal algebras
by: Bazhenov, Nikolay, et al.
Published: (2025)

Fundamental sequences based on localization
by: Wilken, Gunnar
Published: (2024)

Generalizing Goodstein's theorem and Cichon's independence proof
by: Wilken, Gunnar
Published: (2025)

Computably discrete represented spaces
by: Neumann, Eike, et al.
Published: (2025)

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)

Tableau Proof Systems for Justification Logics
by: Ghari, Meghdad
Published: (2014)

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

Proof-theoretic dilator and intermediate pointclasses
by: Jeon, Hanul
Published: (2025)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
by: Anttila, Aleksi, et al.
Published: (2025)

Proving Unsatisfiability with Hitting Formulas
by: Filmus, Yuval, et al.
Published: (2023)

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

An ecumenical view of proof-theoretic semantics
by: Nascimento, Victor, et al.
Published: (2023)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
by: Samra, Jean Abou, et al.
Published: (2026)

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

Finitely Bounded Homogeneity Turned Inside-Out
by: Rydval, Jakub
Published: (2021)

QBF Merge Resolution is powerful but unnatural
by: Mahajan, Meena, et al.
Published: (2022)

Effective bases and notions of effective second countability in computable analysis
by: Brattka, Vasco, et al.
Published: (2025)

On the computational properties of basic mathematical notions
by: Normann, Dag, et al.
Published: (2022)

Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)

A proof complexity conjecture and the Incompleteness theorem
by: Krajicek, Jan
Published: (2023)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

A propositional cirquent calculus for computability logic
by: Japaridze, Giorgi
Published: (2024)

Punctually Standard and Nonstandard Models of Natural Numbers
by: Bazhenov, Nikolay, et al.
Published: (2026)

Complexities of Well-Quasi-Ordered Substructural Logics
by: Galatos, Nikolaos, et al.
Published: (2025)

The Uniform Functional Interpretation with Informative Types
by: Ferreira, Fernando, et al.
Published: (2025)

Glivenko's theorems from an ecumenical perspective
by: Pereira, Luiz Carlos, et al.
Published: (2026)

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Nested Sequents for Provability Logic GLP
by: Shamkanov, Daniyar
Published: (2014)

The Myhill isomorphism theorem does not generalize much
by: Pradic, Cécilia
Published: (2025)

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