1) logic theory of types
逻辑类型论
2) theory of logical types
逻辑类型理论
3) logical subtyping
逻辑子类型
4) model theoretic logic
模型论逻辑
1.
As the logical foundation of sematics, it is Known that the model theory treats the relationships between syntactic constructs and semantical features thereof, and that the model theoretic logic (abstract model theory) cares, under the frame of abstract logic, for the similarity, distinctness and interrelationships among various extended logics.
作为语义方法的逻辑基础，（一阶）模型论是研究（一阶）逻辑的语法构造与语义属性之间联系的一门数理逻辑的分支；而模型论逻辑（又称广义模型论）则是在抽象逻辑的框架中，用模型论的方法研究各种扩充逻辑系统的异、同及相互关系。
5) categorical type logic
范畴类型逻辑
1.
In categorical type logic, the concatenation of natural language is viewed as the process of computation and deduction, which, based on the principle of adjacency, is implemented hierarchically.
范畴类型逻辑把自然语言的毗连组合归结成运算和推演,而运算和推演所依赖的毗连组合则遵循"邻近原则"逐层逐级进行。
2.
We need to provide a method, describing the flexible word order in Chinese, from Categorical Type Logic.
从范畴类型逻辑角度看 ,需要提供说明汉语灵活语序的工具。
6) logical-semantic types
逻辑-语义类型
补充资料：类型论
类型论
types, theory of
中.简单类型论中还可以考虑初始序数田。，…，田。，其中陀是任意预先给定的自然数.简单类型论具有简单的直觉集合论模型.V。可以取任意一个无限集，每个后继层次V。*、都是由其前一层次V。的一些子集组成.关系‘、是自然而然的.在足够强的公理集合论的框架中，用集合论模型的存在性可以得到简单类型论的相容性(consistency)的形式证明.例如，在Zer-11℃10系统中就可以建立这样的相容性证明.从 Zer-n℃10一Fraenkel系统ZF出发，去掉替换公理，保留分离公理就得到Zerrrrlo系统.类型论【ty衅，theoryof;THn0B TeopH，】 一种一阶形式理论(见形式系统(for俄l}system))，它的一个变种是简单类型论(simPle theory of tyPes)，描述如下.“类型论”一词没有严格的固定的含义.它表示的是如下所述的一种形式理论.首先，这个形式系统中含有语言工具，可以表示如下用语词描述的关系:“序列
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条