一阶格值逻辑上的Mostowski定理

• 作者: 童雪
• 来源期刊: 华北电力大学学报
• 学科: 数学
• 关键词: 格值逻辑 Skolem膨胀 不可辩元 型
• 年，卷（期）: 2003,（2）
• 所属期刊栏目: 基础科学
• 页码范围: 100-102
• 页数: 3页
• 分类号: O141.4
• 字数: 3492字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-2691.2003.02.024

摘要

使用组合计数法建立了有限可补格上的一阶格值逻辑的Mostowski定理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	童雪	华北电力大学基础科学部	12	4	1.0	1.0