Cover Image

Interpolation and the Exchange Rule

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fussner, Wesley, Metcalfe, George, Santschi, Simon
Format:	Preprint
Published:	2023
Subjects:	Logic Logic in Computer Science Rings and Algebras 03B47 (Primary), 03G25, 03C40, 03C10 (Secondary) F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Interpolation in Hájek's Basic Logic
by: Fussner, Wesley, et al.
Published: (2024)

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

Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)

Interpolation in Non-Classical Logics
by: Fussner, Wesley
Published: (2025)

Agent Interpolation for Knowledge
by: Bílková, Marta, et al.
Published: (2025)

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

Interpolation above S4
by: Santschi, Simon, et al.
Published: (2026)

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

Adding an Implication to Logics of Perfect Paradefinite Algebras
by: Greati, Vitor, et al.
Published: (2023)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
by: Galliani, Pietro
Published: (2025)

Undecidability in Relevant Logic
by: Knudstorp, Søren Brinck
Published: (2026)

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
by: Harrison-Trainor, Matthew, et al.
Published: (2022)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
by: Cerda, Rémy, et al.
Published: (2022)

Amalgamation in Semilinear Residuated Lattices
by: Fussner, Wesley, et al.
Published: (2024)

Representability for distributive quasi relation algebras via nested sums
by: Craig, Andrew, et al.
Published: (2025)

Representable distributive quasi relation algebras
by: Craig, Andrew, et al.
Published: (2023)

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory
by: Bodirsky, Manuel, et al.
Published: (2020)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
by: Wolter, Frank, et al.
Published: (2024)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)

A Lopez-Escobar Theorem for Continuous Domains
by: Bazhenov, Nikolay, et al.
Published: (2023)

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)

Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)

Forcing as a Local Method of Accessing Small Extensions
by: Lau, Desmond
Published: (2024)

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)

Rule-Elimination Theorems
by: Roy, Sayantan
Published: (2024)

From Interpolating Formulas to Separating Languages and Back Again
by: Kurucz, Agi, et al.
Published: (2025)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
by: Lau, Desmond
Published: (2024)

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
by: Koponen, Vera, et al.
Published: (2023)

The Borel monadic theory of order is decidable
by: Manthe, Sven
Published: (2024)

Craig Interpolation for Subgeometric Logics
by: Di Liberti, Ivan, et al.
Published: (2026)

A non-uniform view of Craig interpolation in modal logics with linear frames
by: Kurucz, Agi, et al.
Published: (2023)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

The logic of bunched implications is undecidable
by: Galatos, Nick, et al.
Published: (2026)

Two strong undefinability results in inquisitive and team semantics
by: Barbero, Fausto
Published: (2024)

Herbrandized modified realizability
by: Ferreira, Gilda, et al.
Published: (2024)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
by: Walsh, Sean
Published: (2024)