逻辑系统Logical system L(infinite-ary; infinite∨∧, Qx, complete)(或者谓词系统L(≤w;≤w, Qx, complete))

• 作者: 杨安洲
• 来源期刊: 前沿科学
• 学科: 数学
• 关键词: 自由布尔代数 谓词代数 解释 模型 关系符号 公式 谓词系统 逻辑系统
• 年，卷（期）: 2010,（4）
• 页码范围: 79-82
• 分类号: O141
• 字数: 745字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-8128.2010.04.010

摘要

在本文中,逻辑系统(或者谓词系统)L(≤w;≤w,Qx,complete)被提出,并且一些性质被证明

作者信息

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