王龙春

作品数：5被引量：12H指数：1
导出分析报告
供职机构：曲阜师范大学数学科学学院更多>>
发文主题：广义重言式代数DOMAIN理论R0-代数子代数更多>>
发文领域：理学更多>>
发文期刊：《模糊系统与数学》《曲阜师范大学学报（自然科学版）》《数学学报（中文版）》《陕西师范大学学报（自然科学版）》更多>>
所获基金：国家自然科学基金浙江省教育厅科研计划山东省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
稳定连续半格的闭包空间表示
《曲阜师范大学学报（自然科学版）》2024年第1期61-66,共6页王胜文 张冰 马俊叶 王龙春 
曲阜师范大学校级教改项目(22jg30);曲阜师范大学大学生创新训练项目(XJ20210065);六盘水师范学院重点学科建设项目—数学重点培育学科(LPSSYZDPYXK201709);山西省基础研究计划项目(202103021223272);太原科技大学博士科研启动基金(20202049)。
为稳定连续半格构建合适的闭包空间表示,引入了可乘闭包空间的概念,证明了可乘闭包空间的正则闭集族在集合包含关系下构成了一个稳定连续半格,并且所有的稳定连续半格都可在序同构的意义下由此生成.进一步提出了可乘闭包空间之间逼近映...
关键词：闭包空间 DOMAIN理论 稳定连续半格 Scott连续映射 范畴等价 
Lawson紧的代数L-domain递归方程的逻辑形式
《模糊系统与数学》2022年第5期69-80,共12页王龙春 邹娟 
国家自然科学基金资助项目(11801310);山东省自然科学基金资助项目(ZR2022MA022);曲阜师范大学大学生创新训练项目(XJ20210065)。
本文的目的是为Lawson紧的代数L-domain递归方程及其解提供一种逻辑刻画。基于N-序列演算上的子系统关系,证明了N-序列演算之集是定向完备的,并在这一定向完备偏序集上引入了三种连续构造算子:提升,联结和以及分离和。从而求解domain结...
关键词：DOMAIN理论 Lawson紧的代数L-domain N-序列演算 domain构造算子 domain递归方程 
LFI代数的性质及其与剩余格的关系被引量：1
《模糊系统与数学》2004年第4期13-17,共5页张花荣 王龙春 
浙江省教育厅基金 (2 0 0 4 0 3 6 5 )
讨论 L FI代数的性质 ,也讨论具有可嵌入性的 L FI代数的性质 ;还给出了定义在完备格上的LFI代数成为剩余格的充要条件。
关键词：LFI代数 剩余格 性质 可嵌入性 
R_0-代数[0,1]的子代数与广义重言式被引量：11
《数学学报（中文版）》2004年第3期521-526,共6页王龙春 王国俊 
国家自然科学基金(19831040)
本文是对修正的Kleene系统中广义重言式理论的推广,讨论了R_0-代数[0,1]的各类无限子R_0-代数中的广义重言式,证明了在子R_0-代数E_2中,中存在着可数多个不同的广义重言式。
关键词：修正的Kleene系统 子R0-代数 广义重言式 
的正则子R_0代数及其应用
《陕西师范大学学报（自然科学版）》2004年第2期5-9,共5页王龙春 王国俊 
国家自然科学基金资助项目(10331010)
引入了 W的正则子R0代数的概念,证明了这种代数在 W中关于势是均匀分布的.又证明了当判定一个逻辑公式是否为 W中的α 重言式时,可以用 W的任一正则R0 代数去替代 W作判断,特别是可以用具有简单结构的正则子R0 代数W0去作判断,这里W0仅...
关键词：正则子R0-代数 正则R0-代数 a-重言式 广义重言式 同构映射 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部