Image de couverture de livre

Bringing closure to theory combination properties

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Toledo, Guilherme V., Przybocki, Benjamin, Zohar, Yoni
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Being polite is not enough (and other limits of theory combination)
par: Toledo, Guilherme V., et autres
Publié: (2025)

Shininess, strong politeness, and unicorns
par: Przybocki, Benjamin, et autres
Publié: (2025)

Characterizing Sets of Theories That Can Be Disjointly Combined
par: Przybocki, Benjamin, et autres
Publié: (2025)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
par: Przybocki, Benjamin, et autres
Publié: (2024)

Number theory combination: natural density and SMT
par: Toledo, Guilherme V., et autres
Publié: (2025)

Combining Combination Properties: Minimal Models
par: de Toledo, Guilherme Vicentin, et autres
Publié: (2024)

Near-Optimal Encodings of Cardinality Constraints
par: Krapivin, Andrew, et autres
Publié: (2026)

The termination of Nielsen transformations applied to word equations with length constraints
par: Przybocki, Benjamin, et autres
Publié: (2025)

Automated Reencoding Meets Graph Theory
par: Przybocki, Benjamin, et autres
Publié: (2026)

Undecidability of theories of semirings with fixed points
par: Das, Anupam, et autres
Publié: (2025)

Strong negation in the theory of computable functionals TCF
par: Köpp, Nils, et autres
Publié: (2022)

On proving consistency of equational theories in Bounded Arithmetic
par: Beckmann, Arnold, et autres
Publié: (2022)

The proof theory and semantics of second-order (intuitionistic) tense logic
par: Becker, Justus, et autres
Publié: (2026)

Wider systems for linear logic with fixed points: proof theory and complexity
par: Das, Anupam, et autres
Publié: (2026)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
par: de Jong, Tom
Publié: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
par: Das, Anupam, et autres
Publié: (2024)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
par: Oda, Yukihiro, et autres
Publié: (2022)

Support is Search
par: Gheorghiu, Alexander V.
Publié: (2026)

Proof-theoretic Semantics for First-order Logic
par: Gheorghiu, Alexander V.
Publié: (2024)

Bringing memory to Boolean networks: a unifying framework
par: Gadouleau, Maximilien, et autres
Publié: (2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
par: de Jong, Tom, et autres
Publié: (2026)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2022)

Semantic Foundations of Reductive Reasoning
par: Gheorghiu, Alexander V., et autres
Publié: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
par: Gu, Tao, et autres
Publié: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)

Homotopy type theory as a language for diagrams of $\infty$-logoses
par: Uemura, Taichi
Publié: (2022)

Formalizing two-level type theory with cofibrant exo-nat
par: Uskuplu, Elif
Publié: (2023)

Yet another cubical type theory, but via a semantic approach
par: Kapulkin, Chris, et autres
Publié: (2025)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
par: Spadetto, Matteo
Publié: (2023)

Generalized Decidability via Brouwer Trees
par: de Jong, Tom, et autres
Publié: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
par: Coquand, Thierry, et autres
Publié: (2026)

Uniform interpolation with constructive diamond
par: van der Giessen, Iris, et autres
Publié: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
par: Antonelli, Melissa, et autres
Publié: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
par: Wang, Shanxia
Publié: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
par: De Domenico, Andrea, et autres
Publié: (2026)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
par: de Groot, Jim, et autres
Publié: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
par: Pacheco, Leonardo
Publié: (2026)

Non-Derivability Results in Polymorphic Dependent Type Theory
par: Geuvers, Herman
Publié: (2026)