逻辑蕴涵相关论文
习近平科技创新重要论述汲取了马克思技术创新思想以及中国共产党历代主要领导人的科技创新思想，并进行了创造性转化、提炼与理论的......
对于具有函数依赖(FDs)约束的传统关系数据库规范化理论来说,判定一个FD是否被给定FD集所逻辑蕴涵(即成员籍问题)是非常重要的,这......
中国共产党在90年的奋斗历程中,形成了一个较为完整的关于人的全面发展的理论观点体系.中国共产党的人的全面发展观的逻辑蕴涵在于......
键是关系数据库和XML文档中重要的语义表达，是XML模式设计的基础。文章在XML树的定义和路径语言的概念的基础上，提出XML键的定义，给出......
本文针对逻辑蕴涵真值表的难以理解问题,给出了一种基于选择的合理性的解释.指出逻辑蕴涵真值表既是对人们的逻辑习惯的形式化,也......
习近平总书记围绕“培养什么样的人”“如何培养人”以及“为谁培养人”的根本问题,对高校思想政治教育人才培养的目标要求、方法......
预设和蕴涵是两个密切相关的概念，对二者进行区别有助于准确地理解和使用自然语言。从逻辑和语义的角度出发，首先界定预设和蕴涵的概......
因果必然性的性质是什么？因果必然性和归纳概率的关系如何？我们将给出因果陈述逻辑的自然语言系统,同时也对该形式语言的范围以及用......
为了有效地优化XML路径表达式查询,给出了一个XML结构完整性约束体系,这个体系全面描述了XML文档中节点或路径之间的结构关系,包括......
函数依赖是数据语义的重要组成部分,这一概念被引入到XML的领域中.基于DTD,XML的树模型和路径表达式,对节点的值相等和路径节点集......
实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的,但是二者并不是在任何逻辑中都一致.建立在非经典逻辑基础上的知识逻辑SI允许存在不......
新制度经济学是当代西方经济学的重要代表,本文立足于中国改革开放的实践,详尽分析了新制度经济学的制度变迁理论;并从规范分析与......
列文森(Levinson)三原则弥补了格赖斯(Grice)合作原则对一般会话含义缺乏解释力的不足,尤其是他的等级数量原则,有一定的实用性,经......
本文详细讨论了实质蕴涵的真实涵义，它与条件句、推论关系之间的联系与区别，分析了实质蕴涵与逻辑蕴涵之间的关系和误解，探讨了逻辑的......
函数依赖作为数据库规范化的基础在关系理论中起着重要的作用.近年来,XML得到广泛应用并已成为互联网上数据传输和交换的标准.由于......
以实质蕴涵和逻辑蕴涵为对象,通过对郁慕镛教授和袁正校教授的观点进行比较,对逻辑学里的一个非常重要的概念——蕴涵进行了分析和......
在简单小商品经济条件下,经济危机仅仅具备了可能性条件,只有到了资本主义生产方式确立之后,经济危机才由可能性转化为现实性,但是......
从数理逻辑及表的自身连接出发解析基于逻辑蕴涵的sql语言,融汇数据库原理及相关领域特别是数理逻辑中的知识,使数据库原理不仅仅......
红色文化作为中国共产党在革命、建设和改革中形成的宝贵精神财富,是社会主义核心价值观的重要源泉和重要组成部分。因此,如何从丰......
XML函数依赖、逻辑蕴涵是进一步研究XML键和XML规范化理论的基础。为了有效地解决XML函数依赖的蕴涵问题，该文提出了一种DTD路径编......
由于DTD的复杂性,使得XFD的逻辑蕴涵问题研究比较困难.为了解决该问题,本文在M.Arenas等人给定的XFD定义基础上,提出了一种DTD路径......
以习近平为核心的党中央在领导中华民族实现伟大复兴的征程中,继承和发展了马克思列宁主义、毛泽东思想、中国特色社会主义理论体......
研究内置谓词函数依赖及其推理规则。首先提出内置谓词函数依赖，定义了内置谓词函数依赖的语法和语义；其次提出属性-约束集闭包概念，......
黑尔认为，道德语言也能用形式逻辑规则来推导，且由此推出事实不蕴涵价值的结论。运用博弈论语义学方法从假言命题的角度对道德语言进......
该文将蕴涵分为三类:实质蕴涵、形式蕴涵与逻辑蕴涵。从多值逻辑角度解决了实质蕴涵、条件句与推论关系之间的关系,详细考察了三类......
正如罗素认为整个逻辑都是建立在蕴涵理论基础之上一样，我们也肯定蕴涵是逻辑学最重要的概念，首先介绍不同的蕴涵定义，说明了实质蕴涵......
