Imagen de Portada

On Symbol Elimination and Uniform Interpolation in Theory Extensions

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Sofronie-Stokkermans, Viorica
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On verification and constraint generation for families of similar hybrid automata
por: Sofronie-Stokkermans, Viorica, et al.
Publicado: (2025)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
por: van der Giessen, Iris, et al.
Publicado: (2023)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2018)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
por: Férée, Hugo, et al.
Publicado: (2026)

Uniform Interpolation in Distributed Knowledge Modal Logics
por: Wang, Kexu, et al.
Publicado: (2026)

Quantifier Elimination and Craig Interpolation, Quantitatively
por: Batz, Kevin, et al.
Publicado: (2025)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2018)

Interpolation in Proof Theory
por: van der Giessen, Iris, et al.
Publicado: (2026)

On the Completeness of Interpolation Algorithms
por: Hetzl, Stefan, et al.
Publicado: (2024)

On the Cut Elimination of Weak Intuitionistic Tense Logic
por: Wang, Yiheng, et al.
Publicado: (2024)

A Non-Binary Method for Finding Interpolants: Theory and Practice
por: Trybus, Adam, et al.
Publicado: (2026)

Interpolation for the two-way modal mu-calculus
por: Kloibhofer, Johannes, et al.
Publicado: (2025)

Uniform interpolation with constructive diamond
por: van der Giessen, Iris, et al.
Publicado: (2026)

Maehara Interpolation in Extensions of R-mingle
por: Fussner, Wesley, et al.
Publicado: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
por: Hartonas, Chrysafis
Publicado: (2025)

Interpolation and Quantifiers in Ortholattices
por: Guilloud, Simon, et al.
Publicado: (2025)

Interpolation for Converse PDL
por: Kloibhofer, Johannes, et al.
Publicado: (2025)

Definability and Interpolation in Philosophy
por: van Benthem, Johan
Publicado: (2026)

SAT-Inspired Higher-Order Eliminations
por: Blanchette, Jasmin, et al.
Publicado: (2022)

Cut-Elimination for the Bimodal Logic GR
por: Kushida, Hirohiko
Publicado: (2026)

On Efficient Algorithms For Partial Quantifier Elimination
por: Goldberg, Eugene
Publicado: (2024)

IMELL Cut Elimination with Linear Overhead
por: Accattoli, Beniamino, et al.
Publicado: (2024)

Goedel Logics: On the Elimination of The Absoluteness Operator
por: Baaz, Matthias, et al.
Publicado: (2026)

Partial Quantifier Elimination By Certificate Clauses
por: Goldberg, Eugene
Publicado: (2020)

Interpolation in First-Order Logic
por: Cate, Balder ten, et al.
Publicado: (2025)

Craig Interpolation in Program Verification
por: Rümmer, Philipp
Publicado: (2026)

Eliminating reversals from cubical type theories
por: Cavallo, Evan, et al.
Publicado: (2026)

Interpolation with Automated First-Order Reasoning
por: Wernhard, Christoph
Publicado: (2025)

$\text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity
por: Cohen, Liron, et al.
Publicado: (2023)

The Proof-Theoretic Origin of Double Negation Introduction & Elimination
por: Irani, Khashayar
Publicado: (2025)

Variable Elimination as Rewriting in a Linear Lambda Calculus
por: Ehrhard, Thomas, et al.
Publicado: (2025)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
por: Goldberg, Eugene
Publicado: (2024)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
por: Chistikov, Dmitry, et al.
Publicado: (2024)

Six Proofs of Interpolation for the Modal Logic K
por: Bezhanishvili, Nick, et al.
Publicado: (2025)

Pseudo-Complex Quantifier Elimination
por: Faroß, Nicolas, et al.
Publicado: (2026)

Craig Interpolation for Decidable First-Order Fragments
por: Cate, Balder ten, et al.
Publicado: (2023)

Neuro-Symbolic Constrained Optimization for Cloud Application Deployment via Graph Neural Networks and Satisfiability Modulo Theory
por: Erascu, Madalina
Publicado: (2025)

Infinitary Cut-Elimination for Non-Wellfounded Parsimonious Linear Logic
por: Acclavio, Matteo, et al.
Publicado: (2023)

A Semantic Proof of Generalised Cut Elimination for Deep Inference
por: Atkey, Robert, et al.
Publicado: (2024)

Computation of Interpolants for Description Logic Concepts in Hard Cases
por: Jung, Jean Christoph, et al.
Publicado: (2025)