Pages that link to "Item:Q1138007"
From MaRDI portal
The following pages link to Subdirectly irreducible double Heyting algebras (Q1138007):
Displayed 6 items.
- The semi Heyting-Brouwer logic (Q495844) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- Subdirectly irreducibles for various pseudocomplemented algebras (Q1138005) (← links)
- Finitely subdirectly irreducible algebras with pseudocomplementation (Q1155072) (← links)
- On congruence lattices of some p-algebras and double p-algebras (Q1159701) (← links)
- Universal algebras (Q1173984) (← links)