Pages that link to "Item:Q1740631"
From MaRDI portal
The following pages link to Uniform interpolation and coherence (Q1740631):
Displaying 6 items.
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
- Combination of uniform interpolants via Beth definability (Q2090132) (← links)
- Combined covers and Beth definability (Q2096445) (← links)
- Theorems of Alternatives for Substructural Logics (Q5020165) (← links)
- MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS (Q5879189) (← links)
