Cover Image

Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Buriola, G., Cantone, D., Cincotti, G., Omodeo, E. G., Spartà, G. T.
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science 03B25, 26A06
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Decision algorithms for fragments of real analysis. II. A theory of differentiable functions with convexity and concavity predicates
by: Cantone, Domenico, et al.
Published: (2024)

Six equations in search of a finite-fold-ness proof
by: Cantone, Domenico, et al.
Published: (2023)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
by: Buriola, Gabriele, et al.
Published: (2025)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
by: Buriola, Gabriele, et al.
Published: (2025)

A note on the theory of well orders
by: Jeřábek, Emil
Published: (2024)

Connexive logics and connexive semi-Heyting algebras
by: Cornejo, Juan M., et al.
Published: (2025)

On the equational theory of finite modular lattices
by: Herrmann, Christian
Published: (2024)

Normal forms and representable functions in Moisil logic
by: Sipos, Andrei
Published: (2023)

Varieties generated by completions
by: Andréka, H., et al.
Published: (2018)

A mixed logic with binary operators
by: Düntsch, Ivo, et al.
Published: (2024)

Tense logics based on posets
by: Chajda, Ivan, et al.
Published: (2024)

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
by: Cornejo, Juan M., et al.
Published: (2024)

Bourbaki--Zorn Normal Forms for Maximality Arguments
by: Liu, You-Chang
Published: (2026)

Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
by: Knudstorp, Søren Brinck
Published: (2025)

Unorthodox Algebras and their associated Unorthodox Logics
by: Sankappanavar, Hanamantagouda P.
Published: (2025)

Canonicity in power and modal logics of finite achronal width
by: Goldblatt, Robert, et al.
Published: (2022)

Embeddability on functions: order and chaos
by: Carroy, Raphaël, et al.
Published: (2018)

The Ordering Principle and Dependent Choice
by: Holy, Peter, et al.
Published: (2025)

The Ordering Principle and Higher Dependent Choice
by: Holy, Peter, et al.
Published: (2025)

The Monadic Grzegorczyk Logic
by: Bezhanishvili, Guram, et al.
Published: (2024)

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
by: Bezhanishvili, Guram, et al.
Published: (2025)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

The modal theory of linear orders
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Local finiteness in varieties of MS4-algebras
by: Bezhanishvili, Guram, et al.
Published: (2023)

Local tabularity in MS4 with Casari's axiom
by: Meadors, Chase
Published: (2024)

Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)

Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

On the Rainbow Ramsey theorem and the Canonical Ramsey Theorem for pairs without AC
by: Banerjee, Amitayu, et al.
Published: (2024)

A Simple and Elementary Proof of Zorn's Lemma
by: Nuida, Koji
Published: (2023)

Locally tabular products of modal logics
by: Shapirovsky, Ilya B., et al.
Published: (2024)

Cohen-like first order structures
by: Kostana, Ziemowit
Published: (2020)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
by: Tanaka, Yoshihito
Published: (2025)

Sufficient conditions for local tabularity of a polymodal logic
by: Shapirovsky, Ilya B.
Published: (2022)

Maximality Principles in Modal Logic and the Axiom of Choice
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Extended Contact Algebras: Algebraic analysis and duality theory
by: Gruszczyński, Rafał, et al.
Published: (2025)

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
by: Sankappanavar, Hanamantagouda P.
Published: (2025)

Stone type representation theorems via games
by: Aslan, Tuğba, et al.
Published: (2018)

Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)

Residuated lattices do not have the amalgamation property
by: Jipsen, Peter, et al.
Published: (2025)