Kließ，医学硕士。;巴黎，J.B。 二阶归纳逻辑和威尔默斯原理。 （英语） Zbl 1395.03013号 J.应用。日志。 第462-476号第12页（2014年）. 小结：我们将归纳逻辑的框架扩展到二阶语言，并介绍了Wilmers原理，这是二阶语言上概率函数的有理原理。我们导出了满足这一原理的函数的表示定理，并研究了它与一阶正则性和超正则性原理的关系。 引用于1文件 MSC公司： 03B48 概率和归纳逻辑 03B15号机组 高阶逻辑；类型理论（MSC2010） 68T27型 人工智能中的逻辑 关键词：普遍确定性;二阶逻辑;归纳逻辑;概率逻辑;不确定推理 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Kließ}和\textit{J.B.Paris}，J.Appl。日志。12，第4号，462--476（2014；Zbl 1395.03013） 全文： 内政部 参考文献： [1] Boolos，G.，To be是一个变量的值（或一些变量的一些值），J.Philos。，81, 436-449 (1984) [2] Carnap，R.，《归纳逻辑的基本体系》，（Carnap；Jeffrey，R.C.，《归纳逻辑学与概率研究》，第一卷（1971），加利福尼亚大学出版社），33-165·Zbl 0246.02024号 [3] Gaifman，H.，关于一阶计算的度量，以色列。数学杂志。，2, 1-18 (1964) ·Zbl 0192.03302号 [4] 辛提卡，J。；Niiniluoto，I.，归纳概括逻辑的公理基础，（Jeffrey，R.C.，《归纳逻辑和概率研究》，第二卷（1980），加利福尼亚大学出版社），157-192 [5] 约翰逊，W.E.，《概率：演绎和归纳问题》，《思维》，41，409-423（1932）·Zbl 0005.25401号 [6] Paris，J.B.，《不确定推理者的伴侣》（1994），剑桥大学出版社·Zbl 0838.68104号 [7] 巴黎，J.B。；Vencovská，A.，《纯归纳逻辑》，专著（2015），剑桥大学出版社·Zbl 1338.03001号 [8] 夏皮罗，S.，《没有基础主义的基金会》（1991），牛津大学出版社·Zbl 0732.03002号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。