×

部分等式逻辑的分类。 (英语) Zbl 1270.03147号

Rick Blute(编辑)等人,CTCS’02。2002年8月15日至17日,加拿大安大略省渥太华市,第九届类别理论与计算机科学会议论文集。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记69,305-322(2003)。
摘要:沿着总函数的经典范畴类型理论的思路,我们一方面建立了某些类别的偏方程理论与另一方面具有某些有限极限的适当类别之间的对应结果。例如,我们证明了具有存在条件方程的有限偏理论本质上与具有可区分域的笛卡尔范畴相同,并且具有内部等式的偏\(\lambda\)-演算等价于一类合适的偏笛卡尔闭范畴。
关于整个系列,请参见[Zbl 1267.68021号].

MSC公司:

03G30型 分类逻辑,拓扑
03B40型 组合逻辑与lambda演算
18日第15天 闭范畴(闭单体和笛卡尔闭范畴等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Adámek,J。;Herrlich,H。;Strecker,G.E.,“抽象和具体类别”(1990),《威利跨科学》·Zbl 0695.18001号
[2] Astesiano,E。;比多特,M。;基什内尔,H。;Krieg-Brückner,B。;苔藓,P.D。;Sannella,D。;Tarlecki,A.,CASL公司:通用代数规范语言,理论。计算。《科学》(2003),即将出版·Zbl 1061.68103号
[3] Broy M.、C.Facchi、R.Grosu、R.Hettler、H.Hussmann、D.Nazareth、F.Regensburger和K.Stölen,需求和设计规范语言SPECTRUM,非正式介绍,1.0版《技术报告》,慕尼黑技术大学信息学系(1993年)。;Broy M.、C.Facchi、R.Grosu、R.Hettler、H.Hussmann、D.Nazareth、F.Regensburger和K.Stölen,需求和设计规范语言SPECTRUM,非正式介绍,1.0版《技术报告》,慕尼黑技术大学信息学系(1993年)。
[4] Burmeister,P.,《部分代数——部分代数二值模型理论统一方法综述》,《代数普遍》,第15期,第306-358页(1982年)·Zbl 0511.03014号
[5] Burmeister,P.,《部分代数——导论》,(Rosenberg,I.G.;Sabidussi,G.,《代数与秩序》,北约ASI C系列(1993),Kluwer),1-70·Zbl 0789.08003号
[6] Burmeister,P.,关于ECE-方程和广义Kleene-方程在多分类部分代数中的等价性,Contrib.to General Algebra,9,91-106(1995)·Zbl 0894.08002号
[7] 克莱恩,I。;格罗·罗德,M。;Wolter,U.,参数化部分规范的分类概念,数学。结构。计算。科学,5153-188(1995)·兹比尔0909.18002
[8] Corradini A.和F.Gadducci,多代数和部分代数的函数语义及其语法应用,理论。计算。科学。,出现。;Corradini A.和F.Gadducci,多代数和部分代数的函数语义及其语法应用,理论。计算。科学。,出现·Zbl 1061.18008号
[9] 居里,P.-L。;Obtułowicz,A.,《偏爱、笛卡尔封闭性与拓扑、信息与计算》,80,50-95(1989)·Zbl 0674.18001号
[10] Farmer,W.M.,《丘奇简单类型理论的部分功能版本》,《符号逻辑》,第55期,第1269-1291页(1990年)·Zbl 0722.03007号
[11] 菲奥雷,M。;Plotkin,G.,《FPC计算充分领域理论模型的公理化》(计算机科学中的逻辑(1994),IEEE计算机社会出版社),92-102
[12] 乔治,C。;哈夫,P。;Havelund,K。;哈克斯豪森,A.E。;米尔恩,R。;尼尔森,C.B。;普雷恩,S。;Wagner,K.R.,“Raise规范语言”(1992年),普伦蒂斯·霍尔
[13] Henkin,L.,《一阶函数演算的完备性》,《符号逻辑》,第14期,第159-166页(1949年)·Zbl 0034.00602号
[14] Lambek,J。;Scott,P.J.,《高阶范畴逻辑导论》(1986),剑桥大学出版社·兹比尔0596.03002
[15] Lawvere,F.W.,代数理论的函数语义,Proc。国家。阿卡德。科学。美国,50869-872(1963)·Zbl 0119.25901号
[16] 林顿·F。,等式范畴的一些方面,单位:程序。Conf.类别。代数,La Jolla1966年,第84-94页。;林顿·F。,等式范畴的一些方面,单位:程序。Conf.类别。代数,拉霍亚,1966年,第84-94页·Zbl 0201.35003号
[17] Mac Lane,S.,“工作数学家的类别”(1997),施普林格·Zbl 0232.18001号
[18] Makkai,M。;Pitts,A.M.,关于局部有限可表示范畴的一些结果,Trans。阿默尔。数学。Soc,299473-496(1987)·Zbl 0615.18002号
[19] Moggi,E.,部分态射和λ_p演算的范畴,(范畴理论与计算机程序设计,LNCS,240(1986),Springer),242-251
[20] Moggi E.,“部分Lambda微积分”,爱丁堡大学博士论文(1988)。;Moggi E.,“部分Lambda微积分”,爱丁堡大学博士论文(1988年)·Zbl 0655.18005号
[21] Poigné,A.,《范畴代数、范畴理论和计算机程序设计》,LNCS,240,77-102(1985)
[22] 罗宾逊,E。;Rosolini,G.,《局部地图的类别》,Inform。和计算,79,95-130(1988)·Zbl 0656.18001号
[23] Rosolini G.,“Topoi的连续性和有效性”,牛津默顿学院博士论文(1986年)。;Rosolini G.,“Topoi的连续性和有效性”,牛津默顿学院博士论文(1986年)。
[24] 施罗德·L。,部分高阶逻辑的分类,准备中。;施罗德·L。,部分高阶逻辑的分类,正在准备中。
[25] Schröder L.和T.Mossakowski,HASCASL:实现功能程序的集成规范和开发,单位:代数方法论与软件技术,LNCS(2002),即将出版。;Schröder L.和T.Mossakowski,HASCASL:面向功能程序的集成规范和开发,单位:代数方法论与软件技术,LNCS(2002),即将出版·Zbl 1275.68054号
[26] 施罗德,L。;Mossakowski,T。;Tarlecki,A.,通过浓缩物进行合并·Zbl 0986.68015号
[27] Scott,D.,连续格,拓扑,代数几何和逻辑,LNM,27497-136(1972)
[28] Scott,D.,直觉逻辑中的同一性与存在性,Sheaves的应用,LNM,753860-696(1979)
[29] Seely,R.A.G.,局部笛卡尔闭范畴与类型理论,数学。程序。剑桥菲洛斯。Soc,95,33-48(1984)·Zbl 0539.03048号
[30] Seely,R.A.G.,《高阶多态lambda calclus的分类语义》,J.符号逻辑,52,969-989(1987)·Zbl 0642.03007号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。