计量逻辑学中的收敛理论

发布时间：2018-08-28 18:16

【摘要】：初步给出了计量逻辑学中的收敛理论。提出了逻辑度量空间中的度量收敛,赋值收敛和网收敛概念,对它们做出刻画并初步论证了它们之间的关系。
[Abstract]:The convergence theory in econometric logic is given. In this paper, the concepts of metric convergence, assignment convergence and net convergence in logical metric spaces are proposed, and their relations are preliminarily proved.
【作者单位】： 陕西师范大学数学与信息科学学院;西安电子科技大学理学院数科系;陕西师范大学计算机科学学院;
【基金】：博士学科点专项基金(No.20080718000)
【分类号】：O141.1

【参考文献】

中国期刊全文数据库 前3条

1 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学A辑;2001年11期

2 王国俊,李璧镜;Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J];中国科学E辑;2005年06期

3 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

【共引文献】

中国期刊全文数据库 前10条

1 许文艳,韩诚;R_0代数中的真布尔元[J];宝鸡文理学院学报(自然科学版);2003年04期

2 吴恒洋,韩诚;非全序R_0代数的结构[J];纯粹数学与应用数学;2004年01期

3 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

4 张红杰;吴洪博;;L_n命题演算中的一种新程度化方法[J];纺织高校基础科学学报;2007年03期

5 裴道武;关于模糊逻辑与模糊推理逻辑基础问题的十年研究综述[J];工程数学学报;2004年02期

6 张小红,薛占熬,马盈仓;R_0-代数(NM-代数)的布尔MP滤子与布尔MP理想[J];工程数学学报;2005年02期

7 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

8 李骏,黎锁平,兰倩;一类n值命题逻辑系统中改进的相似度及伪距离[J];甘肃工业大学学报;2003年02期

9 李骏,兰倩,夏亚峰;标准序列逻辑系统S_3中命题的真度值之集在[0,1]上的分布[J];甘肃工业大学学报;2003年04期

10 王国俊,李璧镜;Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J];中国科学E辑;2005年06期

中国重要会议论文全文数据库 前6条

1 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年

2 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

3 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年

4 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

5 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

6 惠小静;;关于命题独立性的一点注记[A];第六届中国不确定系统年会论文集[C];2008年

中国博士学位论文全文数据库 前8条

1 任芳;正则蕴涵算子与新型模糊逻辑系统的研究[D];陕西师范大学;2005年

2 尚云;量子逻辑中有效代数与伪有效代数的研究[D];陕西师范大学;2005年

3 刘华文;直觉模糊与区间值模糊环境下的多准则决策与推理算法[D];山东大学;2005年

4 王小明;时态角色委托代理授权图模型及其分析研究[D];西北大学;2004年

5 陈树伟;基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究[D];西南交通大学;2006年

6 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

7 赖洪亮;Ω-范畴序结构性质的研究[D];四川大学;2007年

8 伊良忠;格蕴涵代数及语言真值不确定性推理研究[D];西南交通大学;2007年

中国硕士学位论文全文数据库 前10条

1 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

2 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

3 许文艳;任务逻辑[D];陕西师范大学;2004年

4 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年

5 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年

6 刘振晗;基于广义归结的程序综合[D];大连理工大学;2005年

7 雷红轩;同步格值自动机和同步格值有限自动机[D];陕西师范大学;2005年

8 周湘南;理论的相容度及效应代数的滤子与商[D];陕西师范大学;2005年

9 姚卫;Heyting代数中的滤子与同构定理及其范畴Heyt[D];陕西师范大学;2005年

10 朱华;格蕴涵代数中滤子和理想的研究[D];西南交通大学;2005年

【二级参考文献】

中国期刊全文数据库 前10条

1 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

2 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学A辑;2001年11期

3 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑;1998年02期

4 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑;1999年01期

5 裴道武,王国俊;形式系统鈦~*的完备性及其应用[J];中国科学E辑;2002年01期

6 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑;2002年02期

7 宋士吉,吴澄;模糊推理的反向三I算法[J];中国科学E辑;2002年02期

8 裴道武,王国俊;形式系统L~*的扩张L_n~*及其完备性[J];中国科学E辑;2003年04期

9 王国俊,李璧镜;Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J];中国科学E辑;2005年06期

10 吴望名;参数Kleene系统中的广义重言式[J];模糊系统与数学;2000年01期

【相似文献】

中国期刊全文数据库 前10条

1 J.M.Stewart,C.Barach,张家■;语音区别特征的不相似度研究[J];声学学报(中文版);1981年03期

2 吕士楠,张家，

本文编号：2210207