组合逻辑形式系统CLξw的外延性

• 作者: 王建
• 来源期刊: 杭州师范学院学报（自然科学版）
• 学科: 数学
• 关键词: 组合逻辑 抽象运算 λ-演算 外延性 规则(ξ)
• 年，卷（期）: 2006,（2）
• 页码范围: 104-108
• 页数: 5页
• 分类号: O141.3
• 字数: 2781字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-232X.2006.02.007

摘要

考虑组合逻辑形式系统CLξw的外延性问题.由于在标准转换的意义下形式系统CLξw弱于形式系统λβ和λβη,因此采用三种方式对形式系统CLξw进行外延,前两种使之与形式系统λβ等价,后一种与形式系统λβη等价.作为推论,笔者亦证明了前两种外延系统是定理等价的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王建	浙江师范大学数理学院	7	14	2.0	3.0