逻辑系统(谓词系统)L(w1,w)的(≤W1,infinite)-紧性

• 作者: 杨安洲
• 来源期刊: 前沿科学
• 学科: 数学
• 关键词: 自由布尔代数 谓词代数 逻辑系统 L(wl,w)
• 年，卷（期）: 2010,（3）
• 页码范围: 71-74
• 分类号: O141|O143|O15
• 字数: 364字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-8128.2010.03.008

摘要

在这篇文章中我们提出并且证明了L(Wl,W)的(≤W1 infinite)-紧性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨安洲	中国科学院成都计算机应用研究所	5	1	1.0	1.0