排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
修正的Product逻辑系统中的广义矛盾式 总被引:1,自引:0,他引:1
讨论了修正的Product逻辑系统中的广义矛盾式理论,证明了该系统中广义矛盾式的类类互异定理,并给出了修正的Product逻辑系统中的广义矛盾式之间的一种降级算法. 相似文献
2.
在n值Lukasiewicz命题逻辑系统L_n中运用公式相对于局部有限理论的Γ-真度定义的等价形式,讨论了Γ-真度的部分重要性质,并给出了Γ-真度的推理规则。 相似文献
3.
1