王龙春
- 作品数：6 被引量：13H指数：1
- 供职机构：曲阜师范大学数学科学学院更多>>
- 发文基金：国家自然科学基金浙江省教育厅科研计划山东省自然科学基金更多>>
- 相关领域：理学更多>>
- 稳定连续半格的闭包空间表示
- 2024年
- 为稳定连续半格构建合适的闭包空间表示,引入了可乘闭包空间的概念,证明了可乘闭包空间的正则闭集族在集合包含关系下构成了一个稳定连续半格,并且所有的稳定连续半格都可在序同构的意义下由此生成.进一步提出了可乘闭包空间之间逼近映射的概念,刻画了以Scott连续映射为态射的稳定连续半格范畴和以逼近映射为态射的可乘闭包空间范畴间的等价性.
- 王胜文张冰马俊叶王龙春
- 关键词：闭包空间DOMAIN理论范畴等价
- LFI代数的性质及其与剩余格的关系被引量：1
- 2004年
- 讨论 L FI代数的性质 ,也讨论具有可嵌入性的 L FI代数的性质 ;还给出了定义在完备格上的LFI代数成为剩余格的充要条件。
- 张花荣王龙春
- 关键词：剩余格
- 的正则子R_0代数及其应用
- 2004年
- 引入了 W的正则子R0代数的概念,证明了这种代数在 W中关于势是均匀分布的.又证明了当判定一个逻辑公式是否为 W中的α 重言式时,可以用 W的任一正则R0 代数去替代 W作判断,特别是可以用具有简单结构的正则子R0 代数W0去作判断,这里W0仅有一个聚点0.5,并且在一定意义下是"收缩不变"的.
- 王龙春王国俊
- 关键词：广义重言式同构映射
- R_0-代数[0,1]的子代数与广义重言式被引量：12
- 2004年
- 本文是对修正的Kleene系统中广义重言式理论的推广,讨论了R_0-代数[0,1]的各类无限子R_0-代数中的广义重言式,证明了在子R_0-代数E_2中,中存在着可数多个不同的广义重言式。
- 王龙春王国俊
- 关键词：广义重言式
- Lawson紧的代数L-domain递归方程的逻辑形式
- 2022年
- 本文的目的是为Lawson紧的代数L-domain递归方程及其解提供一种逻辑刻画。基于N-序列演算上的子系统关系,证明了N-序列演算之集是定向完备的,并在这一定向完备偏序集上引入了三种连续构造算子:提升,联结和以及分离和。从而求解domain结构递归方程的问题可归结为如何构建连续映射的不动点。
- 王龙春邹娟
- 关键词：DOMAIN理论
- L～*系统中的一类广义重言式与L～*系统的一种扩张
- 模糊逻辑作为非经典数理逻辑的一个重要分支是人工智能与信息科学等许多领域中推理机制的基础。按Zadeh的观点，模糊逻辑有广义与狭义之分，其中狭义模糊逻辑/(FLn/)是近似推理的形式化逻辑系统。它的研究是与逻辑代数的研究密...
- 王龙春
- 关键词：模糊逻辑广义重言式
- 文献传递
