拉兹万·迪亚科内斯库 多值逻辑的机构语义。 （英语） Zbl 1307.03014号 模糊集系统。 218, 32-52 (2013). 制度的概念[J.A.戈根和R.M.布尔斯托尔，莱克特。注释计算。科学。164, 221–256 (1984;Zbl 0543.68021号)]提供了“逻辑系统”非正式概念的精确概括（基于范畴理论），以表明计算机科学的某些部分可以在任何合适的逻辑系统中完成。作为制度的一个例子，我们可以提到多种等式逻辑以及（多种）一阶等式逻辑。本文提供了机构的多值泛化（第37–42页第3节），以便在剩余格上包含多值逻辑系统[P.Hájek先生模糊逻辑的元数学。多德雷赫特：Kluwer学术出版社（1998；Zbl 0937.03030号)]（同一方向的另一个机构概括可以在[P.埃克隆德和R.赫尔格森，模糊集系统。161，第18期，2354–2368（2010年；Zbl 1229.03062号)]它依赖于部分有序单子的机制）。特别是，作者表明，他的新制度框架（保守地）嵌入了多代数的模糊扩展以及传统的一阶多值逻辑（第42–48页第4节）。本文最后总结了多值机构的两个重要性质，即模型合并（第48–49页第5.1小节）和图解法（第49–51页第5.2小节），后者由作者在[R.迪亚科内斯库、J.Log。计算。14，第5期，651-674（2004年；Zbl 1104.03036号)].这篇论文写得很好，但技术性很强（这可能会给一读带来问题），读者肯定需要对机构及其方法有相当的背景知识。审核人：谢尔盖斯·索洛夫乔夫斯（布尔诺） 引用于6文件 MSC公司： 03B50号 多值逻辑 03G30型 分类逻辑，拓扑 关键词：合并广场;范畴理论;具有等式的一阶逻辑;模糊多重代数;机构;多值逻辑;图解法;量化空间;剩余格 引文：Zbl 0543.68021号;Zbl 0937.03030号;Zbl 1229.03062号;兹伯利1104.03036 软件：套管，套管 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}，模糊集系统。218、32-52（2013；Zbl 1307.03014） 全文： 内政部