论文部分内容阅读
将n值R0-命题逻辑系统Ln^＊中的矛盾式概念程度化，引入了矛盾度的概念，并且讨论了公式的矛盾度的若干重要性质，进而用矛盾度定义了公式之间的差异度函数p＇,证明了p’是一个伪度量，从而在F（S）上建立了逻辑度量空间（F（S），p’）。
n值R0-命题逻辑系统Ln^＊中公式的矛盾度理论
【摘 要】
：
将n值R0-命题逻辑系统Ln^＊中的矛盾式概念程度化，引入了矛盾度的概念，并且讨论了公式的矛盾度的若干重要性质，进而用矛盾度定义了公式之间的差异度函数p＇,证明了p’是一个伪度量，从
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
云南师范大学学报：自然科学版
【发表日期】
：
2007年4期
【基金项目】
：
国家自然科学基金资助项目（10471083）.陕西师范大学重点科研项目基金（995130）.
其他文献
网络化时代,图书馆自建特色数据库成为必然趋势。以美术类高校图书馆的特色图片数据库建设为研究对象,探讨了美术院校图书馆数字化的现状及特色图片数据库建设的相关问题。
探讨上前际栓预防产后出血的效果。方法 选择正常足月阴道分娩者８０例，每例于胎头娩出后给药，依给药途径不同分类一组，Ｉ组为舌下含化卡孕栓１ｍｇ；Ⅱ组为阴道内放置卡孕栓１ｍｇⅢ组为肌肉注射催
文章运用M．Grillakis等提出的抽象理论讨论了广义Zakharov方程组孤立波解的轨道稳定性，并通过谱分析证明了该方程组的孤立波解是轨道稳定的。
合成了金橙G螯合树脂,并用于分离富集样品中的铂、铑。实验研究表明,分离富集试液酸度为pH 1.0、分离柱高为200 mm、通过分离柱的试液流速为0.4 mL/min时,加入铂、铑标准物质
在标准乘积代数[0，1]上引入了一个逻辑度量ρ，详细讨论了其性质；并对度量空间（[0，1]ρ）的结构及其性质进行了详细的讨论，得到一些好的结果。
了解再生障碍性贫血（ＡＡ）在银川市自然人群中的发生、分布规律，为进一步对本病病因探讨提供线索。方法采用普查病例的方法，将全市各大小医院从１９８０年１月１日～１９９５年１２月３１日所有已确诊的ＡＡ病例进行普查
研究了一类具有扰动时滞的广义Logistic模型的hopf分支问题。首先根据特征值理论得到了其产生分支周期解的条件；然后用函数正交性条件得到了其近似周期解的表达式；最后通过实例
吉林小西南岔地区珲春河流域砂金广泛分布，有残坡积、洪积、河谷砂矿和阶地砂矿，以河谷砂矿工业意义最大，砂金资源对寻找区内的岩金矿床具有很好的指示意义。根据收集到的小西南
在给出按需出版定义的基础上,介绍了按需出版的产生背景、特点和发展现状,分析了按需出版模式给图书馆带来的重要影响,指出图书馆应充分认识按需出版对自身的价值,积极推进按