Image de couverture de livre

Proof Complexity of Linear Logics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Tabatabai, Amirhossein Akbar, Jalali, Raheleh
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science Computational Complexity Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

Proof Complexity and Feasible Interpolation
par: Tabatabai, Amirhossein Akbar
Publié: (2025)

Witnessing Flows in Arithmetic
par: Tabatabai, Amirhossein Akbar
Publié: (2024)

An Introduction to Categorical Proof Theory
par: Tabatabai, Amirhossein Akbar
Publié: (2024)

Feasibility of Primality in Bounded Arithmetic
par: Jalali, Raheleh, et autres
Publié: (2025)

Universal Proof Theory, TACL 2022 Lecture Notes
par: Iemhoff, Rosalie, et autres
Publié: (2023)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
par: Atserias, Albert, et autres
Publié: (2024)

The Proof Analysis Problem
par: Arteche, Noel, et autres
Publié: (2025)

Skolemization In Intermediate Logics
par: Baaz, Matthias, et autres
Publié: (2025)

Proof complexity of positive branching programs
par: Das, Anupam, et autres
Publié: (2021)

On the Completeness of Interpolation Algorithms
par: Hetzl, Stefan, et autres
Publié: (2024)

Complexity classification of counting graph homomorphisms modulo a prime number
par: Bulatov, Andrei A., et autres
Publié: (2021)

Meta-Mathematics of Computational Complexity Theory
par: Oliveira, Igor C.
Publié: (2025)

The Complexity and Expressive Power of Second-Order Extended Logic
par: Feng, Shiguang, et autres
Publié: (2022)

Interpolation in Proof Theory
par: van der Giessen, Iris, et autres
Publié: (2026)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
par: van der Giessen, Iris, et autres
Publié: (2023)

Symmetric Proofs in the Ideal Proof System
par: Dawar, Anuj, et autres
Publié: (2025)

Modular Counting CSP: Reductions and Algorithms
par: Kazeminia, Amirhossein, et autres
Publié: (2025)

Truth Predicate of Inductive Definitions and Logical Complexity of Infinite-Descent Proofs
par: Ito, Sohei, et autres
Publié: (2026)

New Bounds for the Ideal Proof System in Positive Characteristic
par: Behera, Amik Raj, et autres
Publié: (2025)

Parallelism and Adaptivity in Student-Teacher Witnessing
par: Ježil, Ondřej, et autres
Publié: (2026)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
par: Nechesov, Andrey
Publié: (2024)

An order out of nowhere: a new algorithm for infinite-domain CSPs
par: Mottet, Antoine, et autres
Publié: (2023)

Effective Versions of Strong Measure Zero
par: Rayman, Matthew
Publié: (2025)

The complete classification for quantified equality constraints
par: Zhuk, Dmitriy, et autres
Publié: (2021)

On the consistency of stronger lower bounds for NEXP
par: Thapen, Neil
Publié: (2025)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
par: Zhuk, Dmitriy
Publié: (2024)

Aspects of Coherence in Dependence Logic
par: Barlag, Timon, et autres
Publié: (2026)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

On the Interplay of Cube Learning and Dependency Schemes in QCDCL Proof Systems
par: Choudhury, Abhimanyu, et autres
Publié: (2025)

Finding Bugs in Short Proofs: The Metamathematics of Resolution Lower Bounds
par: Li, Jiawei, et autres
Publié: (2024)

Logic and Computation through the Lens of Semirings
par: Barlag, Timon, et autres
Publié: (2025)

Finite Variable Counting Logics with Restricted Requantification
par: Raßmann, Simon, et autres
Publié: (2024)

Epistemic Skills: Logical Dynamics of Knowing and Forgetting
par: Liang, Xiaolong, et autres
Publié: (2024)

Logics with probabilistic team semantics and the Boolean negation
par: Hannula, Miika, et autres
Publié: (2023)

Termination of Real Linear Loops
par: Neumann, Eike, et autres
Publié: (2026)

Epistemic Logic Programs: Non-Ground and Counting Complexity
par: Eiter, Thomas, et autres
Publié: (2025)

Data Complexity in Expressive Description Logics With Path Expressions
par: Bednarczyk, Bartosz
Publié: (2024)