Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2603.02492 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Arithmetics within the Linear Time Hierarchy
by: Pollett, Chris
Published: (2025)
by: Pollett, Chris
Published: (2025)
The equational theory of the Weihrauch lattice with (iterated) composition
by: Pradic, Cécilia
Published: (2024)
by: Pradic, Cécilia
Published: (2024)
A Logspace Constructive Proof of L=SL
by: Buss, Sam, et al.
Published: (2025)
by: Buss, Sam, et al.
Published: (2025)
Homological Invariants of Higher-Order Equational Theories
by: Ikebuchi, Mirai
Published: (2025)
by: Ikebuchi, Mirai
Published: (2025)
A Classifying Topos for the Spectrum of Equivalences
by: Oggad, Kenan
Published: (2026)
by: Oggad, Kenan
Published: (2026)
The Solver's Paradox in Formal Problem Spaces
by: Rosko, Milan
Published: (2025)
by: Rosko, Milan
Published: (2025)
A proof complexity conjecture and the Incompleteness theorem
by: Krajicek, Jan
Published: (2023)
by: Krajicek, Jan
Published: (2023)
Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
by: Santacana, Andreu Ballus
Published: (2025)
by: Santacana, Andreu Ballus
Published: (2025)
A declarative approach to specifying distributed algorithms using three-valued modal logic
by: Gabbay, Murdoch J., et al.
Published: (2025)
by: Gabbay, Murdoch J., et al.
Published: (2025)
The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
by: Rahnama, Moses
Published: (2025)
by: Rahnama, Moses
Published: (2025)
Stack Representation of Finitely Presented Heyting Pretoposes I
by: Ye, Lingyuan
Published: (2024)
by: Ye, Lingyuan
Published: (2024)
A Logic For Fresh Labelled Transition Systems
by: Bandukara, Mohamed H, et al.
Published: (2025)
by: Bandukara, Mohamed H, et al.
Published: (2025)
Computability of Initial Value Problems
by: Brattka, Vasco, et al.
Published: (2024)
by: Brattka, Vasco, et al.
Published: (2024)
Recursive windows for grammar logics of bounded density
by: Gasquet, Olivier
Published: (2025)
by: Gasquet, Olivier
Published: (2025)
PSPACE-completeness of bimodal transitive weak-density logic
by: Balbiani, Philippe, et al.
Published: (2025)
by: Balbiani, Philippe, et al.
Published: (2025)
Determination of the fifth Busy Beaver value
by: The bbchallenge Collaboration, et al.
Published: (2025)
by: The bbchallenge Collaboration, et al.
Published: (2025)
On the existence of strong proof complexity generators
by: Krajicek, Jan
Published: (2022)
by: Krajicek, Jan
Published: (2022)
Adversarial Barrier in Uniform Class Separation
by: Rosko, Milan
Published: (2025)
by: Rosko, Milan
Published: (2025)
On the Realizability of Prime Conjectures in Heyting Arithmetic
by: Rosko, Milan
Published: (2025)
by: Rosko, Milan
Published: (2025)
On Chaitin's Heuristic Principle and Halting Probability
by: Salehi, Saeed
Published: (2023)
by: Salehi, Saeed
Published: (2023)
Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
by: Lopez, Aliaume
Published: (2024)
by: Lopez, Aliaume
Published: (2024)
Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)
by: Fussner, Wesley, et al.
Published: (2025)
A convergence law for continuous logic and continuous structures with finite domains
by: Koponen, Vera
Published: (2025)
by: Koponen, Vera
Published: (2025)
Complexities of Well-Quasi-Ordered Substructural Logics
by: Galatos, Nikolaos, et al.
Published: (2025)
by: Galatos, Nikolaos, et al.
Published: (2025)
Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
by: Jaakkola, Reijo, et al.
Published: (2024)
by: Jaakkola, Reijo, et al.
Published: (2024)
2-Coherent Internal Models of Homotopical Type Theory
by: Chen, Joshua
Published: (2025)
by: Chen, Joshua
Published: (2025)
A correspondence between the time and space complexity
by: Latkin, Ivan V.
Published: (2023)
by: Latkin, Ivan V.
Published: (2023)
Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
by: Nakano, Keisuke, et al.
Published: (2024)
by: Nakano, Keisuke, et al.
Published: (2024)
Behavioural Conformances based on Lax Couplings
by: Wild, Paul, et al.
Published: (2025)
by: Wild, Paul, et al.
Published: (2025)
Languages of Words of Low Automatic Complexity Are Hard to Compute
by: Chen, Joey, et al.
Published: (2025)
by: Chen, Joey, et al.
Published: (2025)
Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)
by: Ikeda, Yuto
Published: (2026)
A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
by: Ramos, Arthur, et al.
Published: (2025)
by: Ramos, Arthur, et al.
Published: (2025)
A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
by: Wang, Shuai
Published: (2024)
by: Wang, Shuai
Published: (2024)
On the Descriptive Complexity of Groups without Abelian Normal Subgroups
by: Grochow, Joshua A., et al.
Published: (2022)
by: Grochow, Joshua A., et al.
Published: (2022)
Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
by: Adsul, Bharat, et al.
Published: (2024)
by: Adsul, Bharat, et al.
Published: (2024)
A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
by: Barroso-Nascimento, Victor, et al.
Published: (2025)
by: Barroso-Nascimento, Victor, et al.
Published: (2025)
On the relative asymptotic expressivity of inference frameworks
by: Koponen, Vera, et al.
Published: (2022)
by: Koponen, Vera, et al.
Published: (2022)
Continuous and algebraic domains in univalent foundations
by: de Jong, Tom, et al.
Published: (2024)
by: de Jong, Tom, et al.
Published: (2024)
Simulating and model checking membrane systems using strategies in Maude
by: Rubio, Rubén, et al.
Published: (2024)
by: Rubio, Rubén, et al.
Published: (2024)
Insignificant Choice Polynomial Time: A Logic Capturing PTIME
by: Schewe, Klaus-Dieter
Published: (2020)
by: Schewe, Klaus-Dieter
Published: (2020)