Pages that link to "Item:Q2433105"
From MaRDI portal
The following pages link to Semisimple varieties of modal algebras (Q2433105):
Displaying 16 items.
- Simple weakly transitive modal algebras (Q619324) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- Natural extensions and profinite completions of algebras (Q651385) (← links)
- The power of a propositional constant (Q742479) (← links)
- A note on atoms in polymodal algebras (Q1272114) (← links)
- Expansions of dually pseudocomplemented Heyting algebras (Q1680519) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- Semisimplicity, EDPC and discriminator varieties of residuated lattices (Q1770976) (← links)
- Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator (Q1935561) (← links)
- On functionally complete modal algebras related to M and S4 (Q3329464) (← links)
- (Q4703142) (← links)
- On the Semilattice of Modal Operators and Decompositions of the Discriminator (Q5015971) (← links)
- (Q5127892) (← links)
- (Q5488262) (← links)
- The variety of modal weak Gödel algebras (Q6083149) (← links)
- The algebraic significance of weak excluded middle laws (Q6094135) (← links)