组合逻辑中的一个新的(ξ)规则被引量：2

原文传递

导出

摘要作者提出一个新的规则（ξ０），在组合逻辑的弱相等性理论ＣＬｗ加入（ξ０）之后，弱相等性被加强为ξ０相等性．作者证明ξ０相等性严格强于弱相等性，但严格弱于组合β相等性，作者给出ξ０相等性的有穷公理化．

作者宋方敏

机构地区南京大学计算机科学系

出处《数学学报（中文版）》 SCIE CSCD 北大核心 1997年第5期669-674,共6页 Acta Mathematica Sinica：Chinese Series

基金国家自然科学基金

关键词组合逻辑弱相等性 ξ规则公理模式 β相等性

同被引文献14

1莫绍揆.递归论[M].北京：科学出版社,1997.251.
2[1]Hindley R.,Seldom J.Introduction to Combinators and lambda-calculus[M].London:Cambridge University Press,1986:87-100.
3[2]Bunder M W.On adding (ξ)to weak equality in combinatory logic[J].J of Symbolic Logic,1989,54(6):590-607.
4[3]Barebdregt H.The lambda-calculus:its syntax and semantics[M].New York:North-Holland,1984:113-122.
5[4]Amadio R.,Curien.P.L.Domains and lambda-calculi[M].London:Cambridge University Press,1998:22-41.
6[5]Mezghiche M.Une nouvelle cβ-reduction dans la logique combinatoire[J].Theoretical Computer Science,1984,31:151-163.
7周巢尘.形式语义学引论[M].长沙:湖南科学技术出版社,1985.
8AMADIO R,CURIEN P L.Domains and lambda-calculi[M].London:Cambridge University Press,1998.
9BAVWISE J.Handbook of mathematical logic[M].New York:North-Holland,1977.
10BUNDER M W.On adding to weak equality in combinatory logic[J].J of Symbolic Logic,1989,54(6):590-607.

1赵希顺.系统Z+∑_n-公式的替换公理模式的协调性结果[J].科学通报,1989,34(8):561-562.
2王兆军.重指数族与推广的准似然函数间的关系[J].南开大学学报（自然科学版）,1995,28(4):78-81.
3沈百英.组合逻辑中的抽象运算[J].数学年刊（A辑）,1992,1(4):451-457. 被引量：1
4沈百英,叶瑞芬.组合逻辑中的抽象运算Ⅱ[J].华东理工大学学报（自然科学版）,1994,20(1):58-64.
5景平,李勇,杨元.两多维样本模型中位置参数相等性的M-检验(英文)[J].应用数学,2005,18(3):404-410. 被引量：1
6王建.组合逻辑形式系统CLξ_w的外延性[J].杭州师范学院学报（自然科学版）,2006,5(2):104-108.
7黄群,林洁梅,赵佳因.两个一维总体分布相等性的permutation检验[J].辽宁工程技术大学学报（自然科学版）,2012,31(6):929-932. 被引量：4
8赵一生.量子反铁磁体与O（3）非线性σ模型相等性[J].中南工业大学学报,1996,27(5):613-615.
9杜骏震.组合逻辑函数化简的计算机辅助设计[J].远距离教育,1996,1(2):53-53.
10黄群,张艳芳.基于K-S统计量的两个一维及多维总体相等性的Bootstrap检验[J].统计与决策,2009,25(13):16-18. 被引量：1

数学学报（中文版）

1997年第5期

内容加载中请稍等...