论文部分内容阅读
作者获得并证明三值命题逻辑MP与MP*、三值谓词逻辑MF与MF*以及带等词的三值谓词逻辑ME与ME*的Craig中插定理与Herbrand定理.
三值逻辑的Craig中插定理与Herbrand定理
【摘 要】
：
作者获得并证明三值命题逻辑MP与MP*、三值谓词逻辑MF与MF*以及带等词的三值谓词逻辑ME与ME*的Craig中插定理与Herbrand定理.
【机 构】
：
贵州大学计算机软件与理论研究所,陕西师范大学
【出 处】
：
贵州大学学报：自然科学版
【发表日期】
：
2003年1期
其他文献
给出了广义对角占优矩阵及其比较阵为非奇M-矩阵的几个新的充分条件，并用数值例子说明了所得结果的有效性。
给出受控系统为分数幂空间的非线性脉冲积微分方程的最优化的必要条件。
证明在道路连通的度量空间中压缩性质不一定能推出通常的完备性,但可以推出Lipschitz完备性.进一步给出在Lipschitz-连通的度量空间具有压缩性质的充分必要条件是空间具有Lip
中华民族迎来了实现民族伟大复兴目标的历史机遇期,在实现中华民族伟大复兴的征程中,解决台湾问题,实现祖国和平统一是海内外中华儿女的坚强意志。当前,推动"和平统一、一国
采用综合疗法治疗腰椎间盘突出症进行疗效观察.推拿可解除腰背肌肉痉挛,松解粘连,恢复腰椎正常的解剖结构,有利于韧带的修复;维持牵引,在扩大椎间隙,降低盘内压力的情况下,行
在新形势下，国有企业团的工作和建设，面临着新课题和新任务。为此，必须正视企业团的工作面临的挑战和问题；必须围绕企业生产经营的根本任务来开展团的工作；必须在提高青年员工的技
在集值映射在闭集上的不动点指数概念的基础上给出n-人非合作一般对策的Nash平衡点指数的概念。然后，从Nash平衡点指数出发，研究Nash平衡点的拟本质性并给出了Nash平衡点集的拟
讨论具有震荡系数的半线性抛物型方程的多尺度渐近展开问题，给出了一个多尺度渐近展开式，并对该渐近展开式给出了收敛性分析。结果表明该渐近展开式具有较好的收敛阶。
借助Ben．Tal广义代数运算，由扰动函数的次微分，给出了（h，φ）-凸规划鞍点准则成立的一个形式简洁的充要条件。