Uniform interpolation and compact congruences
From MaRDI portal
Publication:2363208
DOI10.1016/j.apal.2017.05.001zbMath1422.03061arXiv1904.06091OpenAlexW2620258679MaRDI QIDQ2363208
Constantine Tsinakis, Samuel J. van Gool, George Metcalfe
Publication date: 13 July 2017
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1904.06091
Free algebras (08B20) Equational classes, universal algebra in model theory (03C05) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (10)
Modularity results for interpolation, amalgamation and superamalgamation ⋮ The Modelwise Interpolation Property of Semantic Logics ⋮ Uniform interpolation and coherence ⋮ An open mapping theorem for finitely copresented Esakia spaces ⋮ Beth definability and the Stone-Weierstrass theorem ⋮ Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) ⋮ Uniform interpolation and the existence of sequent calculi ⋮ Combination of uniform interpolants via Beth definability ⋮ Combined covers and Beth definability ⋮ Theorems of Alternatives for Substructural Logics
Cites Work
- Consequence and interpolation in Łukasiewicz logic
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- On the structure of varieties with equationally definable principal congruences. II
- Amalgamation and interpolation in the category of Heyting algebras
- Interpolation and the Robinson property for logics not closed under the Boolean operations
- Sentential logics and Maehara interpolation property
- Varieties with equationally definable principal congruences
- Model theory.
- Amalgamation properties and interpolation theorems for equational theories
- Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
- Model completions and r-Heyting categories
- Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
- Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
- Amalgamation and interpolation in ordered algebras.
- Amalgamation, congruence-extension, and interpolation properties in algebras
- Varieties of implicative semilattices
- Introduction to model theory and to the metamathematics of algebra
- Craig interpolation for semilinear substructural logics
- Algebraizable logics
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Continuous Lattices and Domains
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Uniform interpolation and compact congruences