The following pages link to (Q4149452):
Displayed 6 items.
- Equational spectrum of Hilbert varieties (Q1035340) (← links)
- Fuzzy implicative ideals in BCK-algebras (Q1278905) (← links)
- The poset structure of positive implicative BCK-algebras (Q1338953) (← links)
- Commutative deductive systems of pseudo-BCK-algebras (Q1797788) (← links)
- Sharp and meager elements in orthocomplete homogeneous effect algebras (Q2270172) (← links)
- Embeddings of generalized effect algebras into complete effect algebras (Q2500755) (← links)