The following pages link to Extending Boolean operations (Q2546520):
Displaying 10 items.
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- On the canonicity of Sahlqvist identities (Q1338478) (← links)
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras (Q1344872) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- In Memoriam: Leon Albert Henkin 1921–2006 (Q3398617) (← links)
- Leon Henkin and Cylindric Algebras (Q3454804) (← links)
- Perfect extensions and derived algebras (Q4858815) (← links)
- Bounded lattice expansions (Q5936163) (← links)