Pages that link to "Item:Q1580645"
From MaRDI portal
The following pages link to Interpolation and amalgamation; pushing the limits. I (Q1580645):
Displaying 20 items.
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159) (← links)
- Interpolation properties in the extensions of the logic of inequality (Q606045) (← links)
- Logical matrices and the amalgamation property (Q800348) (← links)
- Continuum of normal extensions of the modal logic of provability with the interpolation property (Q920973) (← links)
- Some results about neat reducts (Q992010) (← links)
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- Amalgamation and interpolation in normal modal logics (Q1189894) (← links)
- Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic (Q1406853) (← links)
- On the interpolation property of some intuitionistic modal logics (Q1913298) (← links)
- Model theoretical aspects of weakly aggregative modal logic (Q2155209) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Uniform interpolation and compact congruences (Q2363208) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
- Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
- Interpolation for extended modal languages (Q3370762) (← links)
- Characterizing Interpolation Pairs in Infinitary Graded Logics (Q4461929) (← links)
- Algebraic Characterization of the Local Craig Interpolation Property (Q4556007) (← links)
- <b>PDL</b> has interpolation (Q4779643) (← links)
- THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS (Q6095984) (← links)
