×
马斯肯斯，莱因哈德

类型理论的内涵模型。 （英语） Zbl 1116.03008号

J.塞姆。日志。 72，第1期，98-118（2007）.
摘要：我们为经典类型理论定义了内涵模型，从而得出内涵类型逻辑ITL。内涵模型概括了亨金的一般模型，并有一个自然的定义。作为一个类，它们不验证扩展性公理。我们给出了类型理论的无割序列演算，并通过模型存在定理证明了该演算对于一类内涵模型的完备性。之后，我们将注意力转向应用程序。首先，本文认为，由于ITL是真正内涵的，因此它可以用来建模命题态度的归属，而不必预测逻辑全知。为了说明这一点，定义了一小段英语，并提供了ITL语义。其次，研究表明，国际交易日志模型包含可以用可能世界识别的某些对象。一旦外延公理被放弃，模态逻辑的基本元素就可以在经典类型理论中使用。

引用于9文件

MSC公司：

03B15号机组 高阶逻辑；类型理论（MSC2010）
03B45 模态逻辑（包括规范逻辑）
05年3月 切割消除和正规形定理
03B65号 自然语言逻辑

关键词：

经典类型理论的内涵模型；内涵型逻辑；无割序列演算；模型存在定理；命题态度；英语片段；ITL语义；可能的世界；模态逻辑
PDF格式BibTeX公司 XML格式引用
\textit{R.Muskens}，J.Symb。日志。72，第1号，98--118（2007；Zbl 1116.03008）
全文： 内政部 arXiv公司

参考文献：

[1] 《美国数学学会学报》92 pp 72–84–（1959）
[2] 兰姆达微积分、类型理论和自然语言第32–46页–（2005）
[3] 语言学和哲学28页473–504–（2005）
[4] 一阶逻辑和自动定理证明（1996）·兹伯利0848.68101
[5] 结构化含义（1985）
[6] 《哲学逻辑杂志》第1页第2-15页（1972年）
[7] 第5类简单理论的公式第56–68页–（1940）
[8] 语言学和哲学11 pp 261-302–（1988）
[9] 意义和必要性（1947）
[10] 《圣母院形式逻辑杂志》38页640–660–（1997）
[11] 高阶语义和外延69（2004）
[12] 《逻辑哲学》（1922）
[13] 《圣母院形式逻辑期刊》38第488–515页（1997年）
[14] 数学原理第1910–13页
[15] 类型理论中的分辨率36 pp 414–432–（1971）
[16] 属性理论52 pp 455–472–（1987）
[17] 语言学和哲学4第47–70页-（1980）
[18] 意义和偏见（1995年）
[19] 语言学与哲学12 pp 325–346–（1989）
[20] 90年逻辑学术讨论会（赫尔辛基，1990年），第2页，210–249页，（1994年）
[21] 《自然语言方法》第221-242页（1973）
[22] Theoria 36第373–398页（1970年）
[23] 《自然语言语义学》第169-218页（1972年）
[24] 《哲学逻辑杂志》第4期第475-484页–（1975年）
[25] 类型15理论的完整性第81–91页–（1950）
[26] Funktion、Begriff、Bedetung。Fünf Logische Studien公司
[27] 类型、Tableaus和哥德尔斯上帝（2002）
[28] 《形式哲学》，理查德·蒙塔古（Richard Montague）论文选（1974）
[29] 日本数学学会杂志19页399–410–（1967）
[30] 一阶逻辑（1968）·Zbl 0172.28901号
[31] 简单类型理论的句法和语义性质25 pp 305–326–（1960）
[32] Studia Logica 41第41页第41–65页–（1982）
[33] 高阶逻辑Hauptsatz 33 pp 452–457–（1968）
[34] 模态逻辑手册3第621–653页–（2006）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。