典型文献
Lawson紧的代数L-domain递归方程的逻辑形式
文献摘要：
本文的目的是为Lawson紧的代数L-domain递归方程及其解提供一种逻辑刻画.基于N-序列演算上的子系统关系,证明了 N-序列演算之集是定向完备的,并在这一定向完备偏序集上引入了三种连续构造算子:提升,联结和以及分离和.从而求解domain结构递归方程的问题可归结为如何构建连续映射的不动点.
文献关键词：
Domain理论;Lawson紧的代数L-domain;N-序列演算;domain构造算子;domain递归方程
中图分类号：
作者姓名：
王龙春;邹娟
作者机构：
曲阜师范大学 数学科学学院,山东曲阜 273165
文献出处：
引用格式：
[1]王龙春;邹娟-.Lawson紧的代数L-domain递归方程的逻辑形式)[J].模糊系统与数学,2022(05):69-80
A类：
B类：
Lawson,domain,递归,逻辑形式,演算,偏序集,归结为,不动点,Domain
AB值：
0.289879
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
