-
题名逻辑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
-
-
作者
潘孝铭
-
机构
华侨大学信息科学与工程学院
-
出处
《华侨大学学报（自然科学版）》
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
[理学—数学]
-
-
题名原有元素判断矩阵不一致时的保序性定理
- 3
-
-
作者
王秋萍
-
机构
西安理工大学理学院应用数学系
-
出处
《渝州大学学报》
1999年第1期10-12,共3页
-
文摘
得出并证明了原有元素的判断矩阵为不一致时，新元素组导入的保序性定理。
-
关键词
AHP
判断矩阵
保序性定理
原有元素
-
Keywords
AHP(the analytic hierarchy process)
judgement matrix
rank preservation theorem
-
分类号
O225
[理学—运筹学与控制论]
C934
[理学—数学]
-
