SUPERPRODUCTS, HYPERIDENTITIES, AND ALGEBRAIC STRUCTURES OF LOGIC PROGRAMMING

SUPERPRODUCTS, HYPERIDENTITIES, AND ALGEBRAIC STRUCTURES OF LOGIC PROGRAMMING
复制标题

逻辑编程的超积、超等式和代数结构

DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
J. D. H. Smith
J. D. H. Smith
中科院分区：
--
文献类型：
--
作者：
Yu. M. Movsisyan;A. Romanowska;J. D. H. Smith

文献摘要

被引文献

相似文献

逻辑编程的最新发展是基于双格(具有两个单独的格结构的代数)。本文利用超积和超恒等式的代数概念，给出了双格的刻划和结构描述。主要的结构描述包含了文献中出现的许多变体。
Recent developments in logic programming are based on bilattices (algebras with two separate lattice structures). This paper provides characterizations and structural descriptions for bilattices using the algebraic concepts of superproduct and hyperidentity. The main structural description subsumes the many variants that have appeared in the literature.