Pages that link to "Item:Q3880895"
From MaRDI portal
The following pages link to Varieties generated by finite BCK-algebras (Q3880895):
Displayed 6 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)
- (Q4875081) (← links)