The following pages link to (Q4128567):
Displaying 8 items.
- Varieties generated by unital abelian \(\ell\)-groups (Q401022) (← links)
- Wajsberg algebras and Post algebras (Q1317894) (← links)
- Commutative deductive systems of pseudo-BCK-algebras (Q1797788) (← links)
- Skew Boolean algebras and discriminator varieties (Q1891275) (← links)
- The property of commutativity for some generalizations of BCK algebras (Q2318595) (← links)
- (Q4963204) (← links)
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview (Q5425998) (← links)
- On implicative BE algebras (Q6158237) (← links)
