The bottom of the lattice of BCK-varieties

arXiv - MATH - Logic Pub Date : 2024-09-15 DOI:arxiv-2409.09854

Tomasz Kowalski

引用次数: 0

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.

查看原文本刊更多论文

BCK 变体网格的底部

为了证实 Pa{\l}asi\'nski 和 Wro\'nski 的猜想，我们证明了 BCK 子变量网格的底面是 Y 形的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

arXiv - MATH - Logic

自引率

0.00%

发文量