1) theory of logical types
逻辑类型理论
2) logic theory of types
逻辑类型论
3) logical theory
逻辑理论
1.
Considering the problem of the justification of logical theory,FENG s such a theory requires that the construction of a logical theory adhere to the unity of a posteriority and a priority.
在逻辑理论的证成问题上,“概念的双重作用”要求逻辑理论的建构必须坚持后验性与先验性的统一。
4) theoretical logic
理论逻辑
1.
The theoretical logic of building a service-type government tells us that this type of government is to be people-oriented and therefore, takes it as its central work to serve the people and satisfy the needs of the people.
构建服务型政府的理论逻辑告诉我们,服务型政府应以人为本,把为民服务,满足人民的需要作为中心工作。
5) theory logic
理论逻辑
1.
On the basis of others research results, this thesis makes a comprehensive analysis on theory logic, practical request and measure relating the system of government employee, proposes opinion, and hopes it could make the contr.
本文在已有研究成果的基础上，对我国政府雇员制的理论逻辑、我国实施政府雇员制的现实要求和完善政府雇员制的路径选择进行了系统全面的探讨和研究，并提出了自己的见解，以期为各级政府推行和完善政府雇员制服务。
6) logical subtyping
逻辑子类型
补充资料：类型论
类型论
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)，描述如下.“类型论”一词没有严格的固定的含义.它表示的是如下所述的一种形式理论.首先，这个形式系统中含有语言工具，可以表示如下用语词描述的关系:“序列
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条