The following pages link to (Q4870894):
Displaying 17 items.
- On some compatible operations on Heyting algebras (Q763330) (← links)
- Heyting algebras with dual pseudocomplementation (Q1061157) (← links)
- The word problem for \(Heyting^ *\) algebras (Q1095167) (← links)
- Expansions of dually pseudocomplemented Heyting algebras (Q1680519) (← links)
- An operation related to the Cantor-Bendixson derivative (Q1842595) (← links)
- On exponentiation of universal hyperalgebras (Q1866839) (← links)
- Inquisitive Heyting algebras (Q2062213) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- Symmetric Heyting relation algebras with applications to hypergraphs (Q2347914) (← links)
- A Heyting algebra on Dyck paths of type \(A\) and \(B\) (Q2407687) (← links)
- Heyting algebras with operators (Q2720324) (← links)
- (Q3005201) (← links)
- ON (m,n)-DISTRIBUTIVITY OF PSEUDO BOOLEAN ALGEBRAS (Q3808137) (← links)
- (Q3973062) (← links)
- A complete Heyting algebra whose Scott space is non-sober (Q5146439) (← links)
- ON CERTAIN HYPERALGEBRAIC STRUCTURES (Q5269565) (← links)
- On skew Heyting algebras (Q5357287) (← links)