排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
H.J.Levesque最近为了研究非单调推理提出了含有两个模态词B,N的信念逻辑系统,并猜想它是完备的.本文提出了T~*-集合的概念,并证明一句子集合如果是T~*-集合,那么是可满足的.本文的定理是[1]中定理A2的推广.并得到[1]中定理A.2的一个简单的证明. 相似文献
2.
3.
1