排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
本文在文献[1]基础上,建立递归结构的形式系统,给出判断其语句可判定性的充要条件,并通过语句的范式把可判定性与计算联系起来。 相似文献
2.
从事实逻辑到任务逻辑 总被引:1,自引:1,他引:0
在经典命题逻辑语言中引入附加算子几,较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为“任务”,介绍了“任务逻辑”的语义理论,并从语构上定义形式系统L与之对应,证明该系统的可靠性、完备性及可判定性定理.最后建立系统L中的一系列基本定理。 相似文献
3.
本文证明了两种算术结构N;+,n2n,|2n及N;+,n2nlog2n中可定义乘法运算从而包含算术结构N;+,×及,而由于后者的不可判定性推导出前二者的不可判定性。 相似文献
4.
证明了系统(£)*n中的可满足性定理,紧致性定理和可判定性定理,完善了系统(£)*n的理论体系,并将这些性质应用到计量逻辑学中,给出了∑Γ-真度和条件真度存在的充要条件. 相似文献
5.
有限可换主理想环上模理论可判定性及其复杂性 总被引:3,自引:1,他引:2
本文利用初等等价的工具,引用Ehenfeucht Game理论,证明了有限可换主理想环上模的理论是可判定的,并且判定过程的计算复杂性上界为2cn2. 相似文献
1