Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2412.16091 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals
by: Buriola, G., et al.
Published: (2025)
by: Buriola, G., et al.
Published: (2025)
On equationally Noetherian predicate structures
by: Buchinskiy, Ivan, et al.
Published: (2024)
by: Buchinskiy, Ivan, et al.
Published: (2024)
A note on the theory of well orders
by: Jeřábek, Emil
Published: (2024)
by: Jeřábek, Emil
Published: (2024)
A Self-Reflecting Formal Language
by: Patrakeev, Mikhail
Published: (2023)
by: Patrakeev, Mikhail
Published: (2023)
First-Order Implication-Space Semantics
by: Hlobil, Ulf
Published: (2026)
by: Hlobil, Ulf
Published: (2026)
Refutability as Recursive as Provability
by: Cattabriga, Paola
Published: (2024)
by: Cattabriga, Paola
Published: (2024)
Compactness in Constructive Mathematics via Affine Logic
by: Kasaura, Kazumi
Published: (2026)
by: Kasaura, Kazumi
Published: (2026)
A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)
by: Middelburg, C. A.
Published: (2020)
Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)
by: Oddsson, Hrafn Valtýr
Published: (2026)
Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
by: Inoué, Takao, et al.
Published: (2024)
by: Inoué, Takao, et al.
Published: (2024)
Paracomplete Probabilities
by: Basu, Sankha S., et al.
Published: (2025)
by: Basu, Sankha S., et al.
Published: (2025)
Six equations in search of a finite-fold-ness proof
by: Cantone, Domenico, et al.
Published: (2023)
by: Cantone, Domenico, et al.
Published: (2023)
A Note About Models of Synthetic Algebraic Geometry
by: Coquand, Thierry, et al.
Published: (2025)
by: Coquand, Thierry, et al.
Published: (2025)
Provability in BI's Sequent Calculus is Decidable
by: Gheorghiu, Alexander, et al.
Published: (2021)
by: Gheorghiu, Alexander, et al.
Published: (2021)
Dismantling the Surprise Test "Paradox"
by: Dietzfelbinger, Martin
Published: (2026)
by: Dietzfelbinger, Martin
Published: (2026)
Assume-guarantee contract algebras are dp-algebras
by: Castiglioni, Jose Luis, et al.
Published: (2024)
by: Castiglioni, Jose Luis, et al.
Published: (2024)
Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)
by: Fussner, Wesley, et al.
Published: (2025)
Canonicity in power and modal logics of finite achronal width
by: Goldblatt, Robert, et al.
Published: (2022)
by: Goldblatt, Robert, et al.
Published: (2022)
Axioms for Arbitrary Object Theory
by: Steinkrauss, Luca, et al.
Published: (2025)
by: Steinkrauss, Luca, et al.
Published: (2025)
The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)
by: Barsukov, Alexey, et al.
Published: (2023)
First-order friendliness
by: Badia, Guillermo, et al.
Published: (2022)
by: Badia, Guillermo, et al.
Published: (2022)
Neighborhood and algebraic models for predicate modal logics with $ω$-rules
by: Tanaka, Yoshihito
Published: (2025)
by: Tanaka, Yoshihito
Published: (2025)
Problems with fixpoints of polynomials of polynomials
by: Pradic, Cécilia, et al.
Published: (2026)
by: Pradic, Cécilia, et al.
Published: (2026)
Locally tabular products of modal logics
by: Shapirovsky, Ilya B., et al.
Published: (2024)
by: Shapirovsky, Ilya B., et al.
Published: (2024)
When Bi-interpretability implies Synonymy
by: Friedman, Harvey M., et al.
Published: (2025)
by: Friedman, Harvey M., et al.
Published: (2025)
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 an ordinary expansion of first-order Belnap-Dunn logic
by: Middelburg, C. A.
Published: (2023)
by: Middelburg, C. A.
Published: (2023)
The Logic of Correct Models
by: Aguilera, Juan Pablo, et al.
Published: (2024)
by: Aguilera, Juan Pablo, et al.
Published: (2024)
The Countable Reals
by: Bauer, Andrej, et al.
Published: (2024)
by: Bauer, Andrej, et al.
Published: (2024)
Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions
by: Brown, Hera, et al.
Published: (2025)
by: Brown, Hera, et al.
Published: (2025)
Maximal δ-separated sets in separable metric spaces and weak forms of choice
by: Dybowski, Michał, et al.
Published: (2024)
by: Dybowski, Michał, et al.
Published: (2024)
Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)
by: Maschio, Samuele, et al.
Published: (2023)
Theoremizing Yablo's Paradox
by: Karimi, Ahmad, et al.
Published: (2014)
by: Karimi, Ahmad, et al.
Published: (2014)
The Uniform Functional Interpretation with Informative Types
by: Ferreira, Fernando, et al.
Published: (2025)
by: Ferreira, Fernando, et al.
Published: (2025)
Interpretations of syntactic fragments of theories of fields
by: Anscombe, Sylvy, et al.
Published: (2023)
by: Anscombe, Sylvy, et al.
Published: (2023)
Propositional Measure Logic
by: Aragão, Francisco
Published: (2025)
by: Aragão, Francisco
Published: (2025)
Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
by: Cornejo, Juan M., et al.
Published: (2024)
by: Cornejo, Juan M., et al.
Published: (2024)
Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)
by: Fussner, Wesley, et al.
Published: (2025)
A Foundation for Synthetic Algebraic Geometry
by: Cherubini, Felix, et al.
Published: (2023)
by: Cherubini, Felix, et al.
Published: (2023)
Differential Geometry of Synthetic Schemes
by: Cherubini, Felix, et al.
Published: (2025)
by: Cherubini, Felix, et al.
Published: (2025)