半环诱导赋值代数的轮廓解

摘要：

先对全序半环诱导的赋值代数的轮廓解性质进行研究，再在全序半环诱导的赋值代数中引入保轮廓解的概念，并借助轮廓解的性质，对转移函数 f 保全序半环诱导的赋值代数的轮廓解问题进行研究。结果表明，若转移函数 f 是一个半环同态，则 f 是保轮廓解的。

关键词：赋值代数、半环、轮廓解、转移函数

分类号：O141(数理逻辑、数学基础)

资助基金：国家自然科学基金11271237,61228305;西安财经学院科研基金12JD04

在线出版日期：2014-12-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1119-1124