Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2603.25307 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Weihrauch problems as containers
by: Pradic, Cécilia, et al.
Published: (2025)
by: Pradic, Cécilia, et al.
Published: (2025)
Apartness relations between propositions
by: Kocsis, Zoltan A.
Published: (2022)
by: Kocsis, Zoltan A.
Published: (2022)
A Minimal Substitution Basis for the Kalmár Elementary Functions
by: Prunescu, Mihai, et al.
Published: (2025)
by: Prunescu, Mihai, et al.
Published: (2025)
A propositional cirquent calculus for computability logic
by: Japaridze, Giorgi
Published: (2024)
by: Japaridze, Giorgi
Published: (2024)
A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)
by: Allègre, Loïc, et al.
Published: (2024)
Proof-theoretic methods in quantifier-free definability
by: Kocsis, Zoltan A.
Published: (2023)
by: Kocsis, Zoltan A.
Published: (2023)
The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)
by: Barsukov, Alexey, et al.
Published: (2023)
Problems with fixpoints of polynomials of polynomials
by: Pradic, Cécilia, et al.
Published: (2026)
by: Pradic, Cécilia, et al.
Published: (2026)
Refutability as Recursive as Provability
by: Cattabriga, Paola
Published: (2024)
by: Cattabriga, Paola
Published: (2024)
Coexact completion of profinite Heyting algebras and uniform interpolation
by: Ye, Lingyuan
Published: (2026)
by: Ye, Lingyuan
Published: (2026)
First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)
by: Ghilardi, Silvio, et al.
Published: (2025)
Interleaving Logic and Counting
by: van Benthem, Johan, et al.
Published: (2025)
by: van Benthem, Johan, et al.
Published: (2025)
Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
by: Coniglio, Marcelo E., et al.
Published: (2024)
by: Coniglio, Marcelo E., et al.
Published: (2024)
Domains and Classifying Topoi
by: Sterling, Jonathan, et al.
Published: (2025)
by: Sterling, Jonathan, et al.
Published: (2025)
On the logic of interventionist counterfactuals under indeterministic causal laws
by: Barbero, Fausto
Published: (2023)
by: Barbero, Fausto
Published: (2023)
Examples and counterexamples of injective types
by: de Jong, Tom, et al.
Published: (2026)
by: de Jong, Tom, et al.
Published: (2026)
Computability in infinite Galois theory and algorithmically random algebraic fields
by: Calvert, Wesley, et al.
Published: (2023)
by: Calvert, Wesley, et al.
Published: (2023)
Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)
by: Lyon, Tim S.
Published: (2025)
Completeness and Well-Definability of a Provability Degree Measure in Sufficiently Powerful Formal Systems, and Finite-Time Effective Knowers
by: Bahl, Rohan
Published: (2024)
by: Bahl, Rohan
Published: (2024)
Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
by: Japaridze, Giorgi
Published: (2026)
by: Japaridze, Giorgi
Published: (2026)
Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)
by: Zenger, Lukas
Published: (2026)
Logical reduction of relations: from relational databases to Peirce's reduction thesis
by: Koshkin, Sergiy
Published: (2024)
by: Koshkin, Sergiy
Published: (2024)
The Sup Connective in IMALL: A Categorical Semantics
by: Díaz-Caro, Alejandro, et al.
Published: (2022)
by: Díaz-Caro, Alejandro, et al.
Published: (2022)
On Probabilistic $ω$-Pushdown Systems, and $ω$-Probabilistic Computational Tree Logic
by: Lin, Deren, et al.
Published: (2022)
by: Lin, Deren, et al.
Published: (2022)
Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)
by: Holliday, Wesley H.
Published: (2024)
The Polynomial Hierarchy and $ω$-categorical CSPs
by: Pro, Santiago Guzmán, et al.
Published: (2026)
by: Pro, Santiago Guzmán, et al.
Published: (2026)
Modal Separability of Fixpoint Formulae
by: Jung, Jean Christoph, et al.
Published: (2024)
by: Jung, Jean Christoph, et al.
Published: (2024)
Degree of Satisfiability in Heyting Algebras
by: Bumpus, Benjamin Merlin, et al.
Published: (2021)
by: Bumpus, Benjamin Merlin, et al.
Published: (2021)
The fork and its role in unification of closure algebras
by: Düntsch, Ivo, et al.
Published: (2023)
by: Düntsch, Ivo, et al.
Published: (2023)
On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)
by: Ciardelli, Ivano, et al.
Published: (2023)
A diagrammatic proof-theoretic semantics for the Greimas semiotic square
by: Fowler, Michael
Published: (2026)
by: Fowler, Michael
Published: (2026)
Theoremizing Yablo's Paradox
by: Karimi, Ahmad, et al.
Published: (2014)
by: Karimi, Ahmad, et al.
Published: (2014)
Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)
Evaluation trees for proposition algebra
by: Bergstra, Jan A., et al.
Published: (2015)
by: Bergstra, Jan A., et al.
Published: (2015)
Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
by: Hausmann, Daniel, et al.
Published: (2022)
by: Hausmann, Daniel, et al.
Published: (2022)
Formalizing Pfaffian in bounded arithmetic
by: Kuroda, Satoru
Published: (2024)
by: Kuroda, Satoru
Published: (2024)
Discrete dualities for some algebras from rough sets
by: Düntsch, Ivo, et al.
Published: (2026)
by: Düntsch, Ivo, et al.
Published: (2026)
Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions
by: Brown, Hera, et al.
Published: (2025)
by: Brown, Hera, et al.
Published: (2025)
ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
by: Wang, Shuai
Published: (2024)
by: Wang, Shuai
Published: (2024)
The complexity of being monitorable
by: Camerlo, Riccardo, et al.
Published: (2026)
by: Camerlo, Riccardo, et al.
Published: (2026)