定义 residuated 格上 nucleus 的项：BL 代数的案例研究
逻辑
2024-12-30 v1
摘要
residuated 格 上的 nucleus 是满足不等式 （其中 ）的闭包算子。本文在几组结果中，给出了描述 residuated 格上任意 nucleus 的方法。特别关注那些在每一个结构的每个变种中都能定义 nucleus 的项，这是对双否运算进行一般化的一种手段。present了一些关于这些项的一般结果，并给出具体例子。本文的主要结果在于描述了 BL 代数每个给定子变种中所有此类项的完整描述。我们展示了一些有趣的非平凡例子。
关键词
引用
@article{arxiv.2412.19690,
title = {Terms that define nuclei on residuated lattices: a case study of BL-algebras},
author = {Sebastián Buss and Diego Castaño and José Patricio Díaz Varela},
journal= {arXiv preprint arXiv:2412.19690},
year = {2024}
}