The following pages link to (Q4011717):
Displayed 6 items.
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras (Q1344872) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Elementary generation and canonicity for varieties of Boolean algebras with operators (Q1906001) (← links)
- Bounded lattice expansions (Q5936163) (← links)