共查询到20条相似文献,搜索用时 250 毫秒
1.
2.
3.
经典公理集合论系统与中介公理集合论系统之间的包含关系 总被引:2,自引:0,他引:2
本文首先在中介公理集合论系统MS中构造出Peano自然数系统,以此为基础重新定义了MS中的良集概念,证明了新定义的良集满足经典公理集合论系统ZFC-(ZFC中去掉正则公理的集合论系统)的全部公理,从而说明经典公理集合论系统ZFC-为中介公理集合论系统MS的子系统. 相似文献
4.
5.
6.
从事实逻辑到任务逻辑 总被引:1,自引:1,他引:0
在经典命题逻辑语言中引入附加算子几,较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为“任务”,介绍了“任务逻辑”的语义理论,并从语构上定义形式系统L与之对应,证明该系统的可靠性、完备性及可判定性定理.最后建立系统L中的一系列基本定理。 相似文献
7.
本文基于中介命题逻辑的扩张系统MP之命题联结词含量的完全性结果,进上步证明了Lukasiwicz三值逻辑L3、Post三值逻辑系统P3、Slupecki三值逻辑系统S3和Woodruff三值逻辑系统W3等的命题联结词的含量也是完全的,从而着眼于形式系统,可知MP、L3、P3、S3、W3的语言表达的能力也都是等效的,又若这些三值系统都是可靠的完备的,则可进上步证明这些三值系统立足于形式揄也都是互相等 相似文献
8.
本文基于中介命题逻辑的扩张系统 MP*之命题联结词含量的完全性结果 ,进一步证明了 Lukasiwicz三值逻辑系统 L*3 、Post三值逻辑系统 P*3 、Slupecki三值逻辑系统 S*3 和 Woodruff三值逻辑系统 W*3 等的命题联结词的含量也是完全的 .从而着眼于形式系统 ,可知 MP*、L*3 、P*3 、S*3 、W*3 的语言表达的能力也都是等效的 .又若这些三值系统都是可靠的完备的 ,则可进一步证明这些三值系统立足于形式推理也都是互相等价的 . 相似文献
9.
10.
基于多值Lukasiewicz命题逻辑系统Ln中的计量逻辑学理论。研究了逻辑理论在逻辑意义下的性质与其在拓扑意义下的性质之间的联系,并给出了闭逻辑理论的拓扑性质描述及多值命题逻辑中逻辑理论的发散性的拓扑刻画。 相似文献
11.
中介逻辑命题演算扩张系统MP^*的完备性 总被引:1,自引:0,他引:1
中介命题演算扩张系统MP~*,是在中介命题演算系统MP中增加了一条命题的原始联结词“(?)”而构成的。因此,关于MP~*的完备性,只需在MP的完备性结果上继续讨论。根据原始联结词(?)的意义,在MP的赋值定义中,对命题形式补充如下定义: 相似文献
12.
基于经典命题逻辑的真度理论,讨论了经典命题逻辑系统当中公式集的约简问题。提出了真度约简及α-真度约简的概念,为公式集的约简提供了一种可行的操作方法。 相似文献
13.
为在经典逻辑学中建立Fuzzy分离规则的推理模式,由赋值决定公式问题(简称VDF问题)已经提出,并已在二值命题逻辑L和p+1(p为素数)值Lukasiewicz命题逻辑中得到了解决,但是对一般的n+1(n〉3且n不是素数)值Lukasiewicz命题逻辑系统L(n+1),VDF问题相当复杂且尚未解决.本文尝试在一类特殊的n+1值Lukasiewicz命题逻辑系统L(n+1),即L(n+1)的赋值域W(n+1)的所有子代数在包含序下构成一个链中建立VDF问题的求解理论,并完满地解决了这类n+1值Lukasiewicz命题逻辑系统L(n+1)中的VDF问题. 相似文献
14.
中介逻辑的命题演算系统(MP^*)的一些特征 总被引:2,自引:0,他引:2
本文证明了MP~*中的完全析取范式定理及其两个推论。文中也给出了判别Γ(?)A在MP~*中是否成立的算法。由此MP~*是可判定的。文中推论2说明了MP~*与经典逻辑的命题演算系统(P~*)的关系。 相似文献
15.
16.
17.
18.
将经典席位分配模型推广到有时序多属性席位分配模型,给出了有时序多属性席位分配模型一个简单有效的算法.最后应用实例说明有时序多属性席位分配模型应用更加广泛和合理. 相似文献
19.
本文在格值命题逻辑系统L(X)研究工作的基础上,借助于L(X)的语法推演规则,针对四种近似推理模型分别提出了几种近似推理方法。 相似文献