国家自然科学基金(10331010)

作品数：111被引量：622H指数：15
导出分析报告
相关作者：王国俊徐晓泉罗懋康贺伟饶三平更多>>
相关机构：陕西师范大学江西师范大学四川大学南京师范大学更多>>
相关期刊：《南京师大学报（自然科学版）》《安徽大学学报（自然科学版）》《工程数学学报》《江西师范大学学报（自然科学版）》更多>>
相关主题：真度NZ相似度命题逻辑更多>>
相关领域：理学自动化与计算机技术自然科学总论电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
强代数格的拓扑表示定理
《模糊系统与数学》2013年第5期78-81,共4页曾丽华 罗淑珍 徐晓泉 
国家自然科学基金资助项目(10331010);江西省自然科学基金资助项目(0411025)
用具有超紧开集组成的基的Sober空间范畴给出了强代数格的拓扑表示定理,并引入了强算术格的概念,进一步给出了强算术格的拓扑表示定理。
关键词：完全分配格 强代数格 超紧集 (△)可乘 强算术格 
Z-连续Domain关于Z-子空间的遗传性被引量：1
《江西师范大学学报（自然科学版）》2010年第2期199-201,共3页饶三平 许广红 
国家自然科学基金(10331010)资助项目
利用Z-Domain中的Z-子空间的概念,得出Z-Scott开集和Z-Scott闭集都是Z-子空间结论.利用Z-连续子空间、Z-代数子空间的定义,得出Z-连续Domain、Z-代数Domain关于闭Z-子空间遗传这一结论.
关键词：Z-连续Domain Z-代数Domain Z-子空间 
z-代数偏序集的范畴特征被引量：2
《模糊系统与数学》2010年第2期57-61,共5页曾丽华 肖小英 徐晓泉 
国家自然科学基金资助项目(10331010);江西省自然科学基金资助项目(0411025);江西师范大学博士基金资助项目;江西省科技厅自然科学基金资助项目(2009GZS0010)
讨论z-代数偏序集一些性质,主要证明z-代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴。
关键词：Z-连续偏序集 z-代数偏序集 强代数格 
一致连续偏序集的特征和浓度被引量：2
《江西师范大学学报（自然科学版）》2010年第1期13-16,共4页阮小军 徐刚 赵洋 
国家自然科学基金(10331010);江西省自然科学基金(0411025);江西省教育厅青年科学基金(GJJ10086);南昌大学校基金(Z03688)资助项目
利用连续格理论讨论了一致连续偏序集的特征和浓度,证明了一致连续偏序集的特征和浓度与一致连续偏序集带上Scott拓扑时的拓扑空间的特征和浓度相等,它们分别小于一致连续偏序集带上Law-son拓扑时拓扑空间的特征和浓度.
关键词：一致连续偏序集 特征 浓度 一致Scott拓扑 一致Lawson拓扑 
命题公式集F(S)的基于修正的Gdel算子的十八类分划
《四川大学学报（自然科学版）》2009年第6期1615-1619,共5页李顺琴 王国俊 
国家自然科学基金重点项目(10331010)
本文利用修正的Gdel蕴涵算子研究了命题公式集F(S)中公式确定集的特征,进而以确定集为工具得到F(S)的一个十八类分划,并证明了这种分划关于非运算是同余的.最后讨论了各类关于MP运算和HS运算的封闭性.
关键词：命题公式 修正 del算子 based SET characterization classification 运算 确定集 PARTITION 蕴涵算子 封闭性 PAPER 种分 证明 同余 特征 讨论 工具 
n元三值函数可由L3^＊中公式导出的充要条件
《西安工业大学学报》2009年第5期500-504,共5页王永安 
国家自然科学基金资助项目(10331010)
三值Lukasiewicz命题逻辑L3*中的任何公式的赋值均为0,1/2,1中的某个元素.0,1/2,1及其上定义的运算■,→构成三元MV代数.根据规定的0,1/2,1中元素之间运算∧,∨,■,→的特点,构造性地证明了对于给定的n元三值函数f∶0,1/2,1n→0,1/2,1,...
关键词：三值Lukasiewicz命题逻辑L3* 三元MV代数 函数f∶0 1/2 1n→0 1/2 1 导出函数 充要条件 
F(S_n)中公式集Γ的全体结论之集D(Γ)的结构
《纺织高校基础科学学报》2009年第3期269-275,共7页王永安 
国家自然科学基金资助项目(10331010)
探讨原子公式集为有限集Sn时,二值命题逻辑F(Sn)中公式集Γ的所有结论之集D(Γ)的结构.利用F(Sn)中公式在可证等价意义下的一般表示,通过建立一个特殊映射,将F(Sn)中公式之间的合取∧、析取∨及否定的运算转化为在可证等价意义下某集合...
关键词：二值命题逻辑 公式集 结论的结构 
二值命题逻辑F(S_n)中的基本推理链被引量：1
《西安文理学院学报（自然科学版）》2009年第4期6-10,共5页王永安 
国家自然科学基金资助项目(10331010)
在原子公式之集为有限集Sn={p1,…,pn}时,二值命题逻辑的全体公式之集用F(Sn)表示.文中在F(Sn)中提出了基本推理链的概念,统计了不同长度的基本推理链的条数(在公式之间的逻辑等价或可证等价的意义下).同时给出了用基本推理链的概念来刻...
关键词：二值命题逻辑 基本推理链 条数 
效应代数中的模糊滤子被引量：13
《模糊系统与数学》2009年第3期6-16,共11页刘东利 王国俊 
国家自然科学基金重点资助项目(10331010)
在效应代数中引入模糊滤子和模糊理想的概念,讨论了它们的性质;引入并研究了强模糊滤子;在全序效应代数中提出了一个模糊同余关系并证明了这样生成的同余类是一个全序格效应代数。
关键词：效应代数 滤子 模糊滤子 模糊同余 
MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用被引量：9
《数学学报（中文版）》2009年第3期501-514,共14页王国俊 周红军 
国家自然科学基金资助项目(10331010,10771129);陕西师范大学优秀博士学位论文基金资助项目
设M是一个MV代数,Ω是从M到标准MV代数[0,1]_(MV)的全体同态之集,μ是Ω上的概率测度.基于μ在M中引入了元素(称之为元素命题)的真度概念以及元素命题间的相似度概念,并由此在M上建立了度量结构,从而在更广泛的框架下建立了度量理论.本...
关键词：MV代数 Lukasiewicz命题逻辑 真度 
全选清除导出
共12页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部