王俊涛;何鹏飞;杨绛（Yang，Jiang）;王、梅;何晓丽 一元NM-代数：一元谓词幂零最小逻辑的代数方法。 （英语） Zbl 07589714号 J.日志。计算。 32，第4号，741-766（2022）. 摘要：本文进一步研究了一元幂零极小代数的多样性及其相应的逻辑。为了解决一元NM-代数的缺点，我们回顾了一些著名的基于一元t-范数的模糊逻辑代数类，然后修改了一元NM代数的公理系统。然后我们证明了一元NM-代数的簇是一元谓词模糊逻辑的等价代数语义{毫微米}_\对于所有），它等价于模态模糊逻辑（mathbf{S5（NM）}）。此外，我们还证明了模态模糊逻辑（mathbf{S5（NM）}）的命题情形，即（mathbf{S5^prime（NM。最后，我们给出了一元NM-代数的一些表示。特别地，我们给出了可表示的和直接不可分解的一元NM-代数的一些特征。 引用于三文件 MSC公司： 03年XX月 数理逻辑与基础 68倍 计算机科学 关键词：数学模糊逻辑;一元谓词逻辑;一元NM-代数;表示 PDF格式BibTeX公司 XML格式引用 \textit{J.Wang}等人，J.Log。计算。32，编号4，741--766（2022；Zbl 07589714） 全文： 内政部