|
|||||
|
|
| Lawson紧的代数L-domain递归方程的逻辑形式 | |
| 作者姓名： | 王龙春 邹娟 |
| 作者单位： | 曲阜师范大学数学科学学院 |
| 基金项目： | 国家自然科学基金资助项目(11801310)；;山东省自然科学基金资助项目(ZR2022MA022)； |
| 摘 要： | 本文的目的是为Lawson紧的代数L-domain递归方程及其解提供一种逻辑刻画。基于N-序列演算上的子系统关系，证明了N-序列演算之集是定向完备的，并在这一定向完备偏序集上引入了三种连续构造算子：提升，联结和以及分离和。从而求解domain结构递归方程的问题可归结为如何构建连续映射的不动点。 |
| 关 键 词： | Domain理论 Lawson紧的代数L-domain N-序列演算 domain构造算子 domain递归方程 |