10.3969/j.issn.1001-7402.2005.02.012
量化Domain理论的L-Fuzzy式处理(Ⅱ)L-Fuzzy拟序集的表示
本文是文献[4]的续. 对于固定的Frame L, 本文证明了每个LF-拟序集可以等价地表示为拟序的层, 该结果与L-Fuzzy集的分解和表示定理类似. 由这此定理可得出以下结论: 一类量化Domain (例如, 广义超度量Domain)实际上是将满足一定条件的拟序族进行"粘贴"的结果(按照层论的语言叙述, 就是拟序的层), 而通常的拟序则是常值拟序层的特例.
LF-拟序集、LF-单调映射、拟序准层、拟序层
19
O159(代数、数论、组合理论)
北京市教委科研项目KM-200310028177
2005-08-04(万方平台首次上网日期,不代表论文的发表时间)
共6页
61-66