×
安德烈亚·坎蒂尼

真实程度。 （英语） Zbl 0836.03033号

圣母院J.形式逻辑 36，第2期，185-213（1995）.
摘要：本文研究形式语义学与数学基础之间的相互作用。我们引入了一种形式化的真值理论TLR，它扩展了经典的纯组合子一阶理论，其中包含一个原始真值谓词和一系列由有向偏序索引的真值近似。TLR自然是一种部分分类理论，其中，无类型理解与函数抽象共存。TLR为众所周知的子系统提供了一个内部模型{自动标签阅读器}_0\)二阶算法；事实上，TLR在理论上与预测分析是等价的。

引用于1文件

MSC公司：

35楼03号 二阶和高阶算术和片段

关键词：

表语分析;形式语义学与数学基础的互动;形式真理论;原始真谓词;真值近似;无类型理解;函数抽象;二阶算术

软件：

伊莎贝尔
PDF格式BibTeX公司 XML格式引用
\textit{A.Cantini}，圣母院J.形式逻辑36，No.2，185--213（1995；Zbl 0836.03033）
全文： 内政部

参考文献：

[1] Aczel，P.、P.Carlisle和N.Mendler，“伊莎贝尔的两个理论框架及其实现”，《逻辑框架》第5-39页，G.M.Plotkin等人编辑，剑桥大学出版社，剑桥，1991年·Zbl 0756.03013号
[2] Barendrigt，H.，《Lambda微积分：其语法和语义学》，北荷兰，阿姆斯特丹，1984年·Zbl 0467.03010号
[3] Barwise，J.，《可容许集与结构》，Springer-Verlag出版社，柏林，1975年·Zbl 0316.02047号
[4] Burge，T.，“语义悖论”，《哲学杂志》，第76卷（1979年），第169-198页。
[5] Cantini，A.，“关于初等迭代归纳的谓词可约理论的注记”，Bollettino dell'Unione Matematica Italiana，第4-b卷（1985），第413-430页·Zbl 0582.03043号
[6] Cantini，A.，“Su una teoria generale delle propertyá，basta Su schemi di compensione iterati e privi di tipi”，第53–57页，收录于Atti degli Incentri di Logica Matematica，第3卷，由R.Ferro和A.Zanardo编辑，克吕普，帕多瓦，1987年·Zbl 0628.03017号
[7] Cantini，A.，“真理形式理论注释”，Zeitschrift für Mathematische Logik und Grundlagen der Mathematik，第35卷（1989年），第97-130页·Zbl 0661.03043号 ·doi:10.1002/malq.19890350202
[8] Cantini，A.，“与有限构造数类相关的抽象逻辑”，《数学逻辑档案》，第31卷（1991年），第69-83页·Zbl 0696.03033号 ·doi:10.1007/BF01370695
[9] Cantini，A.，“真理和抽象的逻辑框架”，《逻辑研究》，第135卷，北荷兰，阿姆斯特丹，1995年·Zbl 0860.03015号
[10] Devlin，K.，“可构造性”，第453–502页，《数学逻辑手册》，J.Barwise编辑，北荷兰特，阿姆斯特丹，1977年·Zbl 1069.03015号 ·doi:10.2178/bsl/1080330274
[11] Feferman，S.，“部分运算和分类的非扩展无类型理论I”，第73-118页，《证明理论研讨会》，J.Diller和G.H.Müller编辑，Springer数学讲义，第500卷，1974年·Zbl 0324.02018号
[12] Feferman，S.，“迭代归纳不动点理论：对Hancock猜想的应用”，第171-195页，《Patras逻辑研讨会》，G.Metakides编辑，北霍兰德，阿姆斯特丹，1982年·Zbl 0522.03045号
[13] Feferman，S.，“走向有用的无类型理论I”，《符号逻辑杂志》，第49卷（1984年），第75-111页。JSTOR公司：·Zbl 0574.03043号 ·doi:10.2307/2274093
[14] Feferman，S.，“反思不完整性”，《符号逻辑杂志》，第56卷（1991年），第1-49页。JSTOR公司：·Zbl 0746.03046号 ·doi:10.2307/2274902
[15] Fitch，F.B.，“哲学中的通用元语言”，《形而上学评论》，第17卷（1964年），第396–402页。
[16] Friedman，H.、K.McAloon和S.G.Simpson，“等价于谓词分析的1-一致性的有限组合语句”，《Patras Logic Symposion Logic》第197–230页，由G.Metakides编辑，北霍兰德，阿姆斯特丹，1982年·兹伯利0522.03044
[17] Gaifman，H.，“无限的悖论和自我应用I”，埃尔肯尼斯，第20卷（1983年），第131-155页。
[18] Girard，J.Y.，“（Pi_2^1）逻辑的调查”，第89–107页，《科学的逻辑、方法论和哲学VI》，由L.Cohen，J.Los，H.Pfeiffer和K.P.Podewski编辑，阿姆斯特丹北霍兰德，1982年·Zbl 0496.03038号
[19] Gordeev，L.，“证明理论分析：函数和集合的弱系统”，《纯粹与应用逻辑年鉴》，第38卷（1989年），第1-121页·Zbl 0697.03032号 ·doi:10.1016/0168-0072（88）90055-3
[20] Hinman，P.，《递归理论层次》，施普林格出版社，柏林，1978年·Zbl 0371.02017号
[21] Jäger，G.，“没有基础的可接受性的强度”，《符号逻辑杂志》，第49卷（1984年），第867-879页。JSTOR公司：·Zbl 0585.03032号 ·doi:10.2307/2274140
[22] Kripke，S.，“真理理论概述”，《哲学杂志》，第72卷（1975年），第690-716页·Zbl 0952.03513号
[23] Lorenzen，P.和J.Myhill，“某些数字分析集的构造性定义”，《符号逻辑杂志》，第24卷（1959年），第37-49页。JSTOR公司：·Zbl 0091.01303号 ·doi:10.2307/2964572
[24] Martin-Löf，P.，直觉主义类型理论，那不勒斯图书馆，1984年·Zbl 0571.03030号
[25] Marzetta，M.，“类型和名称理论中的宇宙”，第340–351页，《计算机科学逻辑》，1992年，E.Börger等人编辑，计算机科学讲义，第702卷，Springer-Verlag，柏林，1993年·Zbl 0794.03083号
[26] 帕森斯，C.，“说谎者悖论”，《哲学逻辑杂志》，第3卷（1974年），第381-412页·Zbl 0296.02001 ·doi:10.1007/BF00257482
[27] 莱因哈特，W.，“关于用部分真理谓词扩展和解释理论的一些评论”，《哲学逻辑杂志》，第15卷（1986年），第219-251页·Zbl 0629.03002号 ·doi:10.1007/BF00305492
[28] Richter，W.和P.Aczel，“归纳定义和可接受序数的反映性质”，《广义递归理论》第301–381页，J.E.Fenstad和P.G.Hinman编辑，荷兰阿姆斯特丹，1974年·Zbl 0318.02042号
[29] Schütte，K.，Beweistheorie，Springer-Verlag，柏林，1960年·Zbl 0102.24704号
[30] Scott，D.，“组合器和类”，第1-26页，由C.Böhm编辑，Springer计算机科学讲义，第37卷，1975年·Zbl 0342.02018号
[31] Weyl，H.，Das Kontinuum，Von Veit，莱比锡，1918年·Zbl 0005.15403号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。