×

关于类型的数量。 (英语) Zbl 1417.03079号

摘要:在本文中,我从几个角度研究了类型理论。首先,我提出并阐述了这些理论的哲学和技术动机。然后,我对各种TT进行了形式化分析,重点是每个TT中包含的类型集的基数。我认为,这些TT可以分为四个形式类别,这是从它们的基本基本类型集的基数和它们的分子类型长度的有限性派生出来的。本文为每个特定理论的类型宇宙的基数提供了证明。

MSC公司:

03A05号 逻辑和基础的哲学和批判性方面
03B15号机组 高阶逻辑;类型理论(MSC2010)

软件:

自动化
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Anderson,C.A.(1987)。意义和外延逻辑中的语义矛盾。《圣母院形式逻辑杂志》,28(1),99-114·Zbl 0638.03006号 ·doi:10.1305/ndjfl/1093636849
[2] Barendregt,H.P.(1992)。带有类型的Lambda计算。2016年11月15日检索自http://ttic.uchicago.edu/dreyer/课程/论文/barendregt.pdf·Zbl 0816.03007号
[3] 贝尔,JL;Kanamori,A.(编辑);Gabbay,D.(编辑);Woods,J.(编辑),类型、集合和类别(2012年),阿姆斯特丹
[4] Church,A.(1940年)。简单类型理论的公式。符号逻辑期刊,5(2),56-68·JFM 66.1192.06号 ·doi:10.2307/2266170
[5] Church,A。;Henle,P.(编辑);HM Kallen(编辑);兰格,SK(编辑),《意义和外延逻辑的表述》,3-24(1951),纽约·Zbl 0054.00601号
[6] Church,A.(1956年)。数学逻辑导论。新泽西州普林斯顿:普林斯顿大学出版社·Zbl 0073.24301号
[7] Church,A.(1973)。意义和外延逻辑修订提纲(第一部分)。不,7(1),24-33·Zbl 1366.03176号 ·doi:10.2307/2216181
[8] Church,A.(1974年)。意义和外延逻辑修订提纲(第二部分)。诺德斯,8(2),135-156·Zbl 1366.03177号 ·doi:10.2307/2214782
[9] Church,A.(1976年)。罗素与塔斯基对语义矛盾的解决之比较。符号逻辑杂志,41(4),747-760·兹伯利0383.0305 ·doi:10.2307/2272393
[10] Church,A.(1993)。意义和外延逻辑的修订形式。备选方案(1)。诺德斯,27(2),141-157·Zbl 1366.03175号 ·doi:10.2307/2215752
[11] 杜日伊,M.(2010)。推理悖论和分析信息的非隐私性。《哲学逻辑杂志》,39,473-510·兹比尔1221.03010 ·doi:10.1007/s10992-010-9127-5
[12] Duí,M.和Jespersen,B.(2013年)。程序同构、分析信息和按值的β转换。IGPL逻辑杂志,21,291-308。doi:10.1093/jigpal/jzs044·Zbl 1277.03024号 ·doi:10.1093/jigpal/jzs044
[13] Duí,M.和Jespersen,B.(2015)。对超内涵的客观态度进行透明量化。合成,192(3),635-677。doi:10.1007/s11229-014-0578-z·Zbl 1357.03062号 ·doi:10.1007/s11229-014-0578-z
[14] Duí,M.、Jespersen,B.和Materna,P.(2010年)。超内涵逻辑的过程语义:透明内涵逻辑的基础和应用。柏林:斯普林格·Zbl 1207.03009号
[15] Farmer,W.M.(2008)。简单类型理论的七个优点。应用逻辑杂志,6(3),267-286·兹比尔1149.03012 ·doi:10.1016/j.jal.2007.11.001
[16] Handley,J.R.(1997)。基本的简单类型理论。剑桥:剑桥大学出版社·Zbl 0906.03012号 ·doi:10.1017/CBO9780511608865
[17] Jago,M.(2014)。不可能:一篇关于超内涵的文章。牛津:牛津大学出版社。 ·doi:10.1093/acprof:oso/9780198709008.001.0001
[18] Klement,K.C.(2003)。感官的数量。埃尔肯尼斯,58,303-323·doi:10.1023/A:1022619903237
[19] Klement,C.K.(2005)。弗雷格有太多想法吗?再次讨论了坎特兰问题。分析,65(1),45-49·Zbl 1076.03513号 ·doi:10.1093/analys/65.1.45
[20] Klement,C.K.(2010年)。罗素,他的悖论,和康托定理:第一部分,哲学罗盘,5(1),16-28·Zbl 1200.03004号 ·doi:10.1111/j.1747-9991.2009.00270.x
[21] Linnebo,Ø.,&Rayon,A.(2012年)。等级本体论和意识形态。《心灵》,121(482),269-308·doi:10.1093/mind/fzs050
[22] B.罗素(1908)。基于类型理论的数理逻辑。《美国数学杂志》,30(3),222-262·JFM 39.0085.03号 ·doi:10.2307/2369948
[23] Russell,B.(2010年)。数学原理。伦敦:劳特利奇经典。
[24] Russell,B.和Whitehead,A.N.(1963年)。数学原理(第二版,第一卷)。剑桥:剑桥大学出版社·JFM 61.0061.03号
[25] 蒂奇·P(1988)。弗雷格逻辑的基础。柏林:de Gruyter·Zbl 0671.03001号 ·数字对象标识代码:10.1515/9783110849264
[26] Urquhart,A。;Griffin,N.(编辑),类型理论,286-309(2003),剑桥·doi:10.1017/CCOL0521631785.009
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。