论文部分内容阅读
基于三值Lukasiewicz命题逻辑系统Luk3中的计量逻辑学理论,研究了逻辑理论在逻辑意义下的性质与其在拓扑意义下的性质之间的联系,并给出了闭逻辑理论的拓扑性质描述及多值命题逻辑中逻辑理论的发散性的拓扑刻画.
三值Luk命题逻辑系统中逻辑理论的拓扑刻画
【摘 要】
：
基于三值Lukasiewicz命题逻辑系统Luk3中的计量逻辑学理论,研究了逻辑理论在逻辑意义下的性质与其在拓扑意义下的性质之间的联系,并给出了闭逻辑理论的拓扑性质描述及多值命
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
纺织高校基础科学学报
【发表日期】
：
2008年01期
其他文献
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
期刊
现代远程教育作为一种较新型的教育形式，已逐渐为社会大众所熟悉和接受，成为构建终生学习的有效途径之一。随着社会的进步、经济的发展，社会公平问题日益为大众所关注，而教育公平
智利钼金属公司(Molbdenosy Metales,简称Moly-met)到今年中钼铁产能将翻一倍多。据公司贸易副总经理Ruiz说,这家智利的钼生产公司将把其在圣地亚哥工厂的产能从目前的每年1.
目的:1.探讨t(8;21)阳性急性髓系白血病患者的临床特点。2.分析c-kit突变与t(8;21)阳性AML患者临床特征及预后相关性;并与其他预后不良基因的临床特征及预后进行分析比较。方
目的 建立超高效液相色谱-串联质谱(UPLC-MS/MS)法同时测定杜仲酒中多种成分的含量。方法 采用WatersHSST3色谱柱(50mm×2.1mm,1.8μm);以甲醇(含0.1%甲酸)-水(含0.1%甲
目的:评价数字微笑设计(DSD)在前牙美学修复中的临床效果。方法:按照随机数字法将2016年1月-2018年1月来笔者医院口腔科进行前牙美学修复的66例患者分为对照组和DSD组,每组33
<正>一、缘起《义务教育数学课程标准(2011年版)》关于学生能力培养要求从"两能"拓展到"四能",这无疑将学生发现问题和提出问题的能力培养要求提到新的高度。众所周知,在小学
李广身材高大,行动敏捷,擅长骑射,以力战闻名,被匈奴人称为“飞将军”。但他虽战功赫赫,却至死也没有被封侯,唐朝诗人王勃在《滕王阁序》中替李广惋惜“时运不济,命途多舛;冯
【安泰科讯】尽管市场报告的铟价已经回升,但目前贸易商对铟市场的判断似乎还存在分歧。一些人认为,目前铟市场比夏季之初要强的多,欧洲需求开始回升,亚洲也开始启动,一些人