The following pages link to (Q4263811):
Displaying 4 items.
- An algebraic characterization of o-minimal and weakly o-minimal MV-chains (Q392380) (← links)
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation (Q454376) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- Łukasiewicz Games (Q5277898) (← links)
