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

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

信息系统诱导的信息代数

通过对信息系统诱导一个信息代数进行新的刻画, 得到一个信息系统可以诱导一个信息代数, 而不再需要附加条件, 并且得到一个连续的信息系统可得一个连续的信息代数, 一个紧信息系统可得一个紧信息代数.     

转移函数保半环赋值代数轮廓解的条件

对转移映射保半环诱导的赋值代数的轮廓解的问题进行了研究.得到若转移映射f是一个反保序的半环同态,则f是保轮廓解的.如果两个半环间的一个转移映射f 是单调的,则若原赋值与转移后对应的新赋值的轮廓解都非空,则一定存在一个轮廓x₀,它是新赋值的轮廓解,也是原赋值的轮廓解,即x₀∈C_φ∩C_fφ.     

可交换的s代数与格蕴涵代数

研究了一类模糊逻辑代数系统--交换s代数.给出了交换s代数一系列基本性质,证明了交换5代数关于其上的偏序关系≤构成格最后,证明了在交换s代数中定义x(+)y=x'→y,则X是一个格蕴涵代数,在格蕴涵代数L中,定义x(+)y=x'→y,则L是一个交换s代数.