Pages that link to "Item:Q1138008"
From MaRDI portal
The following pages link to A subdirectly irreducible double Heyting algebra which is not simple (Q1138008):
Displaying 10 items.
- The semi Heyting-Brouwer logic (Q495844) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- Subdirectly irreducible double Heyting algebras (Q1138007) (← links)
- On logics with coimplication (Q1272827) (← links)
- Changing algebras in low energy biologic relational processes (Q1388953) (← links)
- About the correspondences between dual Heyting arrow lattices of a distributive lattice and its sublattices for relational biologic systems (Q1842791) (← links)
- Nonmodular lattices derived from distributive ones representing qualitative biologic interactions (Q1900279) (← links)
- Review: The algebraic relational theory and its applications (Q2717534) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- Bi-intermediate logics of trees and co-trees (Q6584961) (← links)