Pages that link to "Item:Q661293"

The following pages link to Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293):

Displaying 2 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)