The bottom of the lattice of BCK-varieties
Tomasz Kowalski
TL;DR
This paper proves that the structure at the bottom of the lattice of BCK-varieties forms a Y-shape, confirming a longstanding conjecture in algebraic logic.
Contribution
It confirms a conjecture by showing the bottom of the lattice of BCK-varieties is Y-shaped, clarifying the lattice's structure.
Findings
The bottom of the lattice of BCK-varieties is Y-shaped.
The conjecture by Pa{ }lasiński and Wroński is confirmed.
Provides a structural insight into BCK-varieties.
Abstract
Confirming a conjecture of Pa{\l}asi\'nski and Wro\'nski, we show that the bottom of the lattice of subvarieties of BCK is Y-shaped.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsRings, Modules, and Algebras · Advanced Topology and Set Theory · Fuzzy and Soft Set Theory