演绎系统相关论文
BL命题逻辑系统是一个相对完备的逻辑系统,对BL命题逻辑系统的研究是数理逻辑的一个重要研究方向,为了进一步研究BL逻辑系统,本文......
对逻辑代数系统的研究是非经典数理逻辑的一个重要研究方向,为了进一步揭示弱MTL-代数的特性,本文从多个方面对其进行了再研究.首......
1．多媒体让数学教学更加形象化 数学教学以培养空间想象力为主要目标之一，而中、小学生的抽象思维能力正处于一个发展阶段，抽象性......
在处理不一致性知识时，因为以基于规则的演绎系统为模型的知识库采用一种ＡＮＤ／ＯＲ图的推导形式，所以不具有通常逻辑系统所普遍具有的平凡性。......
本文在模糊命题逻辑演绎系统的基础上，引入了模糊意义下的一阶逻辑的相关概念，建立了模糊一阶（谓词）逻辑的准形式演绎系统。并且证明了......
毕达哥拉斯凭直观经验，武断地认为一切线段的长都是有理数，从而引起了数学吏上第一次危机．为解决这一危机，两千多年前的先知们找到了一......
本文给出了建立在含幺半群基础上的范畴语法的代数结构，定义了范畴方程和它的解并对范畴方程的解作了分类：相容性的相关性。定理“对......
社会选择理论的重点是将个人偏好汇总为群体偏好的框架。我们在本文中提出了一种用于偏好聚合的模态逻辑。该逻辑是对社会福利函数......
研究了Ｈｉｌｂｅｒｔ代数的生成演绎系统的一些性质后，做成了Ｈｉｌｂｅｒｔ代数的商结构，并证明了这种商结构仍然是一个Ｈｉｌｂｅｒｔ代数。......
<正> 一、语言操作的必要性 在认识活动中,主体总是首先直接操作认识客体,把关于客体的信息输入主体的思维活动中,并通过对客体信......
<正> 逻辑是理性与科学性的第一个标志。社会科学能运用逻辑吗?如果回答是肯定的,那么同科学相比,它的逻辑是否有自己的特点?演绎......
通过在B L命题逻辑系统的公式集F（ S） 中提出演绎系统的概念,并引入强同余关系,讨论B L系统中演绎系统和强同余关系之间的联系,给出......
建立了一个基于HFI代数的模糊命题演算形式系统H^★，研究了这个系统的基本特征．并讨论了该系统关于建立在HFI代数上语义的完备性．......
【正】 六十年代初期,美国出版了两本重要的科学哲学著作:一本是内格耳的“科学的结构”,一本是库恩的“科学革命的结构”。这两本......
<正> 一、精神生活研究的意义人在意识到他的存在时,他早已经存在了,在他还不知道自己为什么要存在时,他就已经想到要怎样存在:他......
数学在认识过程中的作用主要表现在两个方面：一是表达经验陈述和其他知识：一是组织和整理经验陈述，在各种经验陈述之间建立联系，形成一......
我们给出了Ｈｉｌｂｅｒｔ代数一些新的性质，定义了Ｈｉｌｂｅｒｔ代数上一类自映射ｆａ：ｆｚ（ｘ）＝ａ→Ｘ，这里ａ是Ｈ中任一固定的元，进一步，我们刻划了交换Ｈｉｌｂｅｒｔ代数。......
【正】 关于归纳与演绎的类型,存在两种不同的意见。一种意见认为,只有一种类型的归纳与演绎,辩证逻辑和形式逻辑用不同的研究方式......
【正】 辩证法认为,人类的认识总是运动于从个别到一般和从一般到个别的辩证统一之中,认识的每一个环节都是由这两方面的交互作用......
文章从立意、思路等方面阐述了用公理化方法诠释道家代表著作《老子》的过程,亦即在遵循《老子》原意作出定义、基本假设、公理,并......
通过在剩余格L中引入条件：a,b∈L,（a→（a→b））∨（b→（b→a））=1,建立弱MTL代数结构,讨论弱MTL代数中极大（素）演绎系统和极大（素）同余关系的基本......
医学诊断思维中的时空逻辑化方法□杨达辩证唯物主义有两个重要观点：（１）时间和空间是运动着的物质存在的基本形式；（２）作为事物一切内在要素......
本文建立子基于缺省理论的时态逻辑公式演绎系统。演绎过程除了使用一阶逻辑理论外，还采用了缺省理论来处理用户说明以及系统中知识......
<正> 一、现代西方哲学的两大研究领域从十九世纪末以来,西方哲学思想的发展开始呈现出一个新的特点。这一特点就是哲学逐渐分裂成......
<正> 最早建立比较完整的教学原则体系的人当推夸美纽斯,他的体系庞大,包括的条文高达37项,还有许多细目。其中,系统性原则是一个......
毕达哥拉斯凭直观经验,武断地认为一切线段的长都是有理数,从而引起了数学史上第一次危机.为解决这一危机,两千多年前的先知们找到......
<正> 辩证逻辑根据马克思关于思维从抽象上升为具体的、又是方法论、又是认识论的辩证观点,提出了“具体概念”(亦称“辩证概念”)......
【正】 假说的概述人们在生活的实际经验中,会观察到无数的事实。比如,有雨天也有晴天,有月食也有日食,候鸟春北秋南,瀑布溅白雾映......
先天八卦次序图中的横向爻符结构与数学上Rademacher函数具有一一对应的关系。已经证明，Rademacher函数系是不完备的标准直交系，而仅......
<正> 我的文章《一个与卢卡西维兹不同的亚里士多德三段论形式系统》在《哲学研究》1988年第4期发表后,王路同志在该刊同年第9期载......
本文阐述了公理化思想在物理教学中运用的积极作用。公理化思想对物理学科发展与教学有着深刻影响,使物理学科与其他学科之间建立......
