论文部分内容阅读
以G(o)del系统为背景,成功解决了王国俊教授提出的函数决定公式问题即满足什么条件的函数叮由逻辑公式导出,或逻辑公式的真值函数的特征如何.然后,又给出了逻辑公式的真度集的特征,进而按照逻辑等价的关系将公式集进行了细致的分类.
G(o)del逻辑系统中的函数决定公式问题
【摘 要】
：
以G(o)del系统为背景,成功解决了王国俊教授提出的函数决定公式问题即满足什么条件的函数叮由逻辑公式导出,或逻辑公式的真值函数的特征如何.然后,又给出了逻辑公式的真度集
【机 构】
：
聊城大学数学科学学院,山东,252059
【出 处】
：
系统科学与数学
【发表日期】
：
2010年2期
其他文献
得到一类退化椭圆型方程弱解梯度在其拟线性系数矩阵A(·,u)对任意U关于x一致满足VMO条件下在Morrey空间L~(p,λ)的内部正则性.
用线性方法对半线性抛物问题进行求解.方法依赖粗、细二重网格,针对粗解在细网格上的修正提出了两种算法,算法1是乘积倍的增长精度而算法2足平方倍的增长精度,而且重复算法1
运用Markov不等式和期望、强遍历、δ系数的性质,利用Chang提出的研究指数收敛速度的方法,在给出5个引理的基础上,研究了初始状态给定的一类可列齐次马氏链熵率的收敛速度,推
讨论具有不同自变量的变系数模型的函数系数的估计及其大样本性质．使用局部线性方法和积分方法，得到函数系数的积分估计；由于该估计有较大的方差，进一步使用回切法改进这一估计，获
对基于非均匀变异算子的进化算法的实验和机理分析已经证明了该算法模型的良好特性．最近基于非均匀变异算子的进化算法模型求解一维多峰函数问题的收敛性已经得到证明．基于马尔