collaborators

1 paper

math.LO2024

The bottom of the lattice of BCK-varieties

Tomasz Kowalski

Confirming a conjecture of Pałasiński and Wroński, we show that the bottom of the lattice of subvarieties of BCK is Y-shaped.