关于抽象逻辑紧致性的一个定理

发布时间：2018-09-10 12:15

【摘要】：以模糊语义为背景 ,在标号集具有一定结构的一族全序完备格的乘积上引入了抽象语义及其连续性概念 ,证明了具有这种连续性的抽象语义是紧致的 ,由此可以推出取值于 [0 ,1]的Lukasiewicz语义是紧致的
[Abstract]:On the basis of fuzzy semantics, abstract semantics and its continuity are introduced into the product of a family of totally ordered complete lattices with a certain structure in the label set. It is proved that the abstract semantics with this continuity are compact. Thus, it can be deduced that the Lukasiewicz semantics valued at [0] are compact.
【作者单位】： 陕西师范大学数学研究所!陕西西安710062
【基金】：国家自然科学基金重点资助项目!(19831040)
【分类号】：O141

【参考文献】

相关期刊论文 前6条

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

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

3 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

4 王国俊;关于模糊语义紧致性的若干定理[J];科学通报;1999年12期

5 王国俊;一类代数上的逻辑学(Ⅰ)[J];陕西师范大学学报(自然科学版);1997年01期

6 王国俊;模糊推理与模糊逻辑[J];系统工程学报;1998年02期

【共引文献】

相关期刊论文 前10条

1 马征杰;大学生思想品德定量评价体系设计与程序[J];安康师专学报;2001年04期

2 辛晓东,尤飞;乘积R_0-代数上的若干映射性质[J];宝鸡文理学院学报(自然科学版);2000年02期

3 郑亚林,海焕智,白永成;3I方案下的Fuzzy推理算法[J];宝鸡文理学院学报(自然科学版);2001年02期

4 郑亚林,黄德隆,郭健;Fuzzy推理的Mamdani算法[J];宝鸡文理学院学报(自然科学版);2001年03期

5 郑亚林;Fuzzy推理的各种模型算法[J];宝鸡文理学院学报(自然科学版);2002年01期

6 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期

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

8 裴道武,姜慧;一个新的模糊谓词演算形式系统[J];东北师大学报(自然科学版);2003年01期

9 孙长银,宋士吉,费树岷,冯纯伯;模糊推理三I方法的R_L型约束度分析[J];东南大学学报(自然科学版);2000年06期

10 马盈仓,李骏;FMP和FMT的三I解及其性质[J];纺织高校基础科学学报;2005年02期

相关会议论文 前8条

1 宋士吉;冯纯伯;费树岷;孙长银;;模糊推理的Zadeh型全蕴涵三Ⅰ算法[A];第十九届中国控制会议论文集（一）[C];2000年

2 黄丽;李中夫;;基于三/算法的多规则模糊推理[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

3 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

4 孟丹;陈图云;;模糊推理的三Ⅰ原则贴近算法[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

5 洪平洲;黎爱平;;基于Lukasiewicz蕴涵算子的三I FMT算法[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年

6 闫建平;;模糊推理插值器[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

7 徐章艳;汤服成;李凡;;基于经典逻辑系统的模糊推理方法[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

8 袁红春;陈明;池涛;;鱼病远程诊断模糊专家系统[A];2007年中国智能自动化会议论文集[C];2007年

相关博士学位论文 前10条

1 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

2 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年

3 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

4 王拥军;需求工程中的不确定性研究[D];西北工业大学;2002年

5 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

6 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

7 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年

8 徐蔚鸿;模糊智能系统中模糊推理研究[D];南京理工大学;2004年

9 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年

10 王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年

相关硕士学位论文 前10条

1 徐章艳;基于Vague集的近似推理[D];广西师范大学;2000年

2 王向云;区间值模糊推理的三Ⅰ算法[D];陕西师范大学;2001年

3 孟丹;基于事例推理的检索与推理模型研究[D];辽宁师范大学;2001年

4 高小军;模糊推理的新算法及基于模糊小波网络的自适应控制[D];西安电子科技大学;2002年

5 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年

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

7 张振华;粗集理论及其在数据预处理过程中的应用[D];昆明理工大学;2002年

8 杨晓炜;基于拓扑变换的模糊推理研究[D];西南交通大学;2003年

9 常瑶芝;L～*谓词逻辑与R_0代数性质新探[D];陕西师范大学;2003年

10 王龙春;L～*系统中的一类广义重言式与L～*系统的一种扩张[D];陕西师范大学;2003年

【二级参考文献】

相关期刊论文 前7条

1 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

2 王国俊;一类代数上的逻辑学(Ⅱ)[J];陕西师范大学学报(自然科学版);1997年03期

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

4 王国俊;蕴涵格与Stone表现定理的推广[J];科学通报;1998年11期

5 王国俊;一类代数上的逻辑学(Ⅰ)[J];陕西师范大学学报(自然科学版);1997年01期

6 应明生;模糊逻辑的紧致性[J];科学通报;1998年04期

7 刘叙华;广义模糊逻辑和锁语义归结原理[J];计算机学报;1980年02期

【相似文献】

相关期刊论文 前10条

1 胡人义,范淑荣;下丘脑视上核内复合的连续性突触[J];自然杂志;1980年03期

2 朱迎善;;连续性产品的质量评定及计算机控制模型[J];哈尔滨理工大学学报;1984年02期

3 罗东;;关于电视的连续性[J];现代传播;1984年02期

4 王攀峰,邓传芳;最佳插值乘积逼近[J];大连理工大学学报;1986年S1期

5 刘世伟;Banach空间的极光滑性与支撑映照的连续性[J];华中师范大学学报(自然科学版);1987年03期

6 钱传喜;;隐函数定理的一个推广[J];扬州大学学报(自然科学版);1988年Z1期

7 董荣森;;关于拓扑Boole格的连续性[J];江西师范大学学报(自然科学版);1988年04期

8 刘永志;关于原函数性质的两个注记[J];西南师范大学学报(自然科学版);1989年01期

9 赵林生;关于斜变差函数的连续性定理的一点注记[J];黑龙江大学自然科学学报;1989年02期

10 蒋华光;凸算子的连续性及次可微性[J];上海交通大学学报;1989年05期

相关会议论文 前4条

1 李宏江;王康;;关于旧桥承载潜力的探讨[A];中国土木工程学会市政工程分会1999年学术交流会论文集[C];1999年

2 熊志欢;;判定Hopfield网络稳定性新方法[A];2000中国控制与决策学术年会论文集[C];2000年

3 黄菊梅;周静;;一次连续性特大暴雨过程分析[A];中国气象学会2005年年会论文集[C];2005年

4 庞爱莲;李晓东;王殿春;;不同年龄阶段个体对主体我的理解[A];第十届全国心理学学术大会论文摘要集[C];2005年

相关重要报纸文章 前10条

1 本报记者 李虎军;密切人与水的关系[N];科学时报;2000年

2 陈昌新;干部交流要注重“六个结合”[N];人民公安报;2000年

3 记者 刘国胜;安全生产：保持连续性[N];人民日报;2000年

4 蒋德海;依宪治国：体现法律的完整性和统一性[N];社会科学报;2000年

5 耿占春;历史书写学的可能[N];中国图书商报;2000年

6 陈阁;中国近六百年价值观念的连续性[N];中国图书商报;2000年

7 袁洪勤 刘江平;创新要注重研究的连续性[N];解放军报;2001年

8 记者 曲哲涵;人民币存贷款利率应继续保持稳定[N];人民日报;2001年

9 采写 肖自强;思想史与每个人相关[N];中国图书商报;2001年

10 本报记者 王麦玲;市场调查业的前景何在[N];中国信息报;2001年

相关博士学位论文 前3条

1 姚喜妍;关于框架的若干问题的研究[D];陕西师范大学;2005年

2 李凌丰;基于Metaball约束的曲面几何变形研究及应用[D];浙江大学;2005年

3 尹轲;赶超经济的性质与机制研究[D];东北财经大学;2005年

相关硕士学位论文 前10条

1 王晓瑜;电影《武训传》事件与共和国文学语境的生成[D];西南师范大学;2005年

2 马婕;城市滨水空间复合界面研究[D];湖南大学;2005年

3 焦建利;分形插值曲面的若干性质[D];江苏大学;2005年

4 丁凯;连续、跳跃、轻便[D];南京艺术学院;2004年

5 王子平;城市街道柔性界面研究[D];浙江大学;2006年

6 马丽丽;基于连续性的台州城市廊道色彩景观研究[D];浙江大学;2006年

7 陈元琳;基于人工神经网络的动态系统仿真模型和算法研究[D];大庆石油学院;2006年

8 魏一菁;室内外景观形态的连续性[D];江南大学;2005年

9 李璧镜;Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间[D];陕西师范大学;2006年

10 韦虎;NUAT B样条曲线曲面的插值研究[D];南京航空航天大学;2006年

，

本文编号：2234415