Pages that link to "Item:Q661293"
From MaRDI portal
The following pages link to Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293):
Displayed 6 items.
- An algebraic characterization of o-minimal and weakly o-minimal MV-chains (Q392380) (← links)
- On deductive interpolation for the weak nilpotent minimum logic (Q1697356) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Uniform interpolation and compact congruences (Q2363208) (← links)
- Craig interpolation for semilinear substructural logics (Q3144874) (← links)
- A Note on Saturated Models for Many-Valued Logics (Q3454724) (← links)