Mobasher,B。;D.皮戈齐。;斯拉茨基,G。;Voutsadakis,G。 双参数的对偶理论。 (英语) Zbl 1012.06008号 代数大学。 43,编号2-3,109-125(2000). 双参数是具有两个独立格结构的代数。它们被用作人工智能和基于知识的编程中出现的推理系统的指称语义的基础。最近对双参数的代数性质的研究为深入了解其内部结构提供了依据,并产生了实际结果,特别是在降低基于双参数的多值逻辑程序的计算复杂性方面。在本文中,提出了不带否定的交错双参数的表示问题A.罗曼诺夫斯卡和A.特拉库尔[普遍与应用代数,第五交响曲Proc.Turawa/Pol.1988,235-253(1989;Zbl 0738.06008号)]并扩展到任意隔行双光子晶体A.Avron公司《数学结构计算科学》,第6期,第287-299页(1996年;Zbl 0856.06005号)]显示了。然后,在交错双参数范畴和有界格范畴的笛卡尔平方之间建立了自然等价性。因此,在分配双参数范畴和有界Priestley空间范畴与其自身的余积之间获得了对偶自然等价性。给出了这些等价物的一些应用。用次直不可约格来刻画次直不可逆交错双相似性。审核人:拉多米尔·哈拉什(奥洛穆克) 引用于1审查引用于23文件 MSC公司: 06B15号 格的表示理论 08A70号 泛代数在计算机科学中的应用 18A23型 自然形态,非自然形态 68N17号 逻辑编程 第68页第27页 人工智能中的逻辑 关键词:双参数表示;双门类;逻辑程序设计;交错双门;普里斯特利对偶;自然对等;普里斯特利空间;次直不可约 引文:兹比尔0738.06008;Zbl 0856.06005号 PDF格式BibTeX公司 XML格式引用 \textit{B.Mobasher}等人,《代数大学》。43,编号2--3,109-125(2000;Zbl 1012.06008) 全文: 内政部