The following pages link to (Q4273435):
Displaying 17 items.
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- Expansions of dually pseudocomplemented Heyting algebras (Q1680519) (← links)
- Skew Boolean algebras and discriminator varieties (Q1891275) (← links)
- Adjoining units to residuated Boolean algebras (Q1902548) (← links)
- Total tense algebras and symmetric semiassociative relation algebras (Q1905987) (← links)
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
- Varieties of semiassociative relation algebras and tense algebras (Q2310438) (← links)
- Varieties generated by completions (Q2311330) (← links)
- A strict implication calculus for compact Hausdorff spaces (Q2326420) (← links)
- Atomless varieties (Q3160556) (← links)
- (Q4395646) (← links)
- Introducing Boolean Semilattices (Q4586414) (← links)
- Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators (Q4834297) (← links)
- Weakening Relation Algebras and FL$$^2$$-algebras (Q5098717) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)
- Persistence and atomic generation for varieties of Boolean algebras with operators (Q5954707) (← links)
