Pages that link to "Item:Q1344842"
From MaRDI portal
The following pages link to On the quasivariety of BCK-algebras and its subvarieties (Q1344842):
Displayed 14 items.
- On the variety generated by bounded pseudo-BCK-algebras (Q616842) (← links)
- Joins and subdirect products of varieties (Q634765) (← links)
- Decomposability of free Łukasiewicz implication algebras (Q862351) (← links)
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- Boolean representation of bounded BCK-algebras (Q934913) (← links)
- Free Łukasiewicz implication algebras (Q937211) (← links)
- Semisimplicity and the discriminator in bounded BCK-algebras (Q992009) (← links)
- Varieties of commutative residuated integral pomonoids and their residuation subreducts (Q1355602) (← links)
- Factor congruences in BCK-algebras (Q2391226) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
- On varieties of biresiduation algebras (Q2433109) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- (Q4531081) (← links)
- On the degrees of permutability of subregular varieties (Q4700036) (← links)