-
题名逻辑L′ω_1ω及其上的几个保持性定理
被引量：1
- 1
-
-
作者
童雪
-
机构
华北电力大学基础部
-
出处
《数学研究》
CSCD
2001年第2期187-192,共6页
-
文摘
在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理 .
-
关键词
пn语句
常量引理
保持性定理
抽象模型论
逻辑
-
Keywords
∏n sentence
constant lemma
preservation Theorem
-
分类号
O141.4
[理学—基础数学]
-
-
题名论经典命题逻辑矢列演算的保持高度收缩定理
- 2
-
-
作者
余军成
和宝珍
-
机构
贵州工程应用技术学院逻辑与文化研究中心
晋中师范高等专科学校政史系
-
出处
《毕节学院学报（综合版）》
2016年第3期59-65,共7页
-
基金
中央高校基本科研业务费专项资金一般项目"达米特直觉主义逻辑思想演绎研究"
项目编号:SWU1609140
+2 种基金
国家哲学社会科学基金重点项目"意识
表征与行动--人类认知的结构与运作机制研究"
项目编号:12AZD073
-
文摘
在《结构证明论》中,给出保持高度收缩定理在经典命题逻辑矢列演算中的一个详细而完整的证明过程,得出保持高度收缩的推论并证明了该推论,指出保持高度收缩推论在证明切割规则的可容许性定理上有减少推导步骤的作用。
-
关键词
经典命题逻辑矢列演算
保持高度收缩定理
保持高度收缩推论
收缩规则
-
Keywords
Sequence calculus of Classical Propositional Logic
Theorem of Height-preserving Contraction
Corollary of Height-preserving Contraction
Contraction Rules
-
分类号
B812
[哲学宗教—逻辑学]
-
-
题名向前向后法证明一阶逻辑的几个定理
- 3
-
-
作者
潘孝铭
-
机构
华侨大学信息科学与工程学院
-
出处
《华侨大学学报（自然科学版）》
CAS
2004年第2期203-205,共3页
-
基金
福建省青年科技人才创新基金资助项目 (2 0 0 2J0 11)
-
文摘
向前向后方法是模型论及其应用研究中的一个很重要的工具 .一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性 ,经典模型论中对这些的证明较为繁难 .文中使用向前向后方法 ,对有限语言下一阶逻辑的内插定理和保持定理等几个定理 ,给出一种简洁的证明 .
-
关键词
向前向后法
一阶逻辑
模型论
内插定理
保持定理
-
Keywords
model theory , first order logic,back-and-forth method, interpolation theorem, preservation theorem
-
分类号
O141
[理学—基础数学]
-
