A Higher-Order Fine-Grained Logic for Intensional Semantics

A Higher-Order Fine-Grained Logic for Intensional Semantics
复制标题

内涵语义学的高阶细粒度逻辑

DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
C. Pollard
C. Pollard
中科院分区：
--
文献类型：
--
作者：
Shalom Lappin;C. Fox;C. Pollard

文献摘要

被引文献

相似文献

本文描述了一种具有细粒度内涵的高阶逻辑（FIL）。与传统的蒙托哥类型理论不同，内涵被视为基本的，而不是通过可能世界推导出来的。这允许细粒度的内涵，而没有不可能的世界。可能的世界和模态被代数地定义。FIL的证明理论被给出为一组tableau规则，并指定了一个代数模型理论。证明理论被证明是相对于这个模型理论的声音。FIL避免了在形式和计算语义中使用的经典粗粒度内涵逻辑所产生的许多问题。
This paper describes a higher-order logic with fine-grained intensionality (FIL). Unlike traditional Montogovian type theory, intensionality is treated as basic, rather than derived through possible worlds. This allows for fine-grained intensionality without impossible worlds. Possible worlds and modalities are defined algebraically. The proof theory for FIL is given as a set of tableau rules, and an algebraic model theory is specified. The proof theory is shown to be sound relative to this model theory. FIL avoids many of the problems created by classical course-grained intensional logics that have been used in formal and computational semantics.1