Pages that link to "Item:Q3880895"
From MaRDI portal
The following pages link to Varieties generated by finite BCK-algebras (Q3880895):
Displayed 7 items.
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- Universal algebras (Q1173984) (← links)
- Wajsberg algebras and Post algebras (Q1317894) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- On the quasivariety of BCK-algebras and its subvarieties (Q1344842) (← links)
- Spectral properties of cBCK-algebras (Q2153923) (← links)
- On annihilators of BCK-algebras (Q4875081) (← links)