Lawson紧的代数L-domain递归方程的逻辑形式  

Lawson Compact Algebraic L-domain Equations in Logical Form

作　　者：王龙春[1] 邹娟[1] WANG Long-chun;ZOU Juan(School of Mathematical Sciences,Qufu Normal University,Qufu 273165,China)

机构地区：[1]曲阜师范大学数学科学学院,山东曲阜273165

出　　处：《模糊系统与数学》2022年第5期69-80,共12页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(11801310);山东省自然科学基金资助项目(ZR2022MA022);曲阜师范大学大学生创新训练项目(XJ20210065)。

摘　　要：本文的目的是为Lawson紧的代数L-domain递归方程及其解提供一种逻辑刻画。基于N-序列演算上的子系统关系,证明了N-序列演算之集是定向完备的,并在这一定向完备偏序集上引入了三种连续构造算子:提升,联结和以及分离和。从而求解domain结构递归方程的问题可归结为如何构建连续映射的不动点。The main purpose of this paper is to provide a logical approach to solving Lawson compact algebraic L-domain equations.The method is based on the subsystem relation between N-sequent calculi.This makes a directed complete poset of N-sequent calculi.Some domain constructors like lifting,coalesced sum and separated sum can be made continuous on this directed complete poset.Thus the problem of solving recursive domain equation reduces to how to construct the fixed point of continuous mapping.

关 键 词：DOMAIN理论 Lawson紧的代数L-domain N-序列演算 domain构造算子 domain递归方程 

分 类 号：O141[理学—数学]