该词条未找到_海词词典

您要查找的是不是：

normative value modal logic 规范价值模态逻辑
See also deontic logic, modal logic. 亦请参阅deontic logic、modal logic。
The book contains an excellent discussion of modal logic. 这本书包含了有关模态逻辑的精彩探讨。
There exists the similar relation between the necessitation and modal logic. 对必然化规则和模态逻辑系统来说有类似的结果。
Monadic Boolean algebras also have an important connection to modal logic. 一元布尔代数还与模态逻辑有重要联系。
His theory is consistent and Quine's criticism of modal logic is untenable. 其理论是融贯的，奎因对模态逻辑的批评是不成立的。
Historical development of modal logic passed the syntactic period,the classic period,and the modern period. 模态逻辑的历史发展经历了语形时期、经典时期和现代时期;
As a new and developing academic subject,modal logic has produced many modal systems which stem from diverse sources. 模态逻辑作为一个新兴的逻辑学科,产生了非常之多的模态系统,这些系统的起源是多元的;
It hig hly discusses the norm system, theoritical base, system model, system structure, system function and practical application of norm value to use ambiguous evalua tion method. 着重论述了模糊评判法所用的指标体系、理论基础、系统模型、系统的结构和功能、指标权重的赋值过程以及实际应用等。
Descartes axiom and wisdom axiom in knowledge logic are isombrphic, both of which are corresponding to axiom E in modal logic. 笛卡尔公理与知道逻辑中的智慧公理(格拉底公理)逻辑上是同构的,它们均对应于模态逻辑中的E公理。
The modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra. 模态逻辑 S5，被看作 S4 中一个理论，是一元布尔代数的模型，如同模态逻辑 S4 是内部代数的模型。
Descartes axiom and wisdom axiom in knowledge logic are isomorphic, both of which are corresponding to axiom E in modal logic. 笛卡尔公理与知道逻辑中的智慧公理(格拉底公理)逻辑上是同构的,它们均对应于模态逻辑中的E公理。
Development in computer science radically changed some expectancy of what modal logic could use for and how they were to be applied. 在模态逻辑的现代时期,计算机科学的发展从根本上改变了人们对模态逻辑能够用来干什么以及模态逻辑如何付诸运用的期待。
Performance on a battery of neuropsychologic tests that provided a total neuropsychologic performance score was at least as good as population normative values. 他们在一组神经心理学测试（这些测试会为一个人在神经心理学方面的表现提供一个分数）的表现至少达到了人群的平均值。
Tax on Land: Tax levied per hectare of rural land and per square meter of urban land, according to normative values varying by type of land and location established by regional legislative bodies. 土地税：农用土地每公顷为单位征税，城市用地每平方米为单位征税，参考区域立法机构根据土地类型和区位确定的标准价格。
Next, through discussing three main kinds of philosophical problems of modal logic, the dissertation holds that essentialism is central to the philosophical problems of modal logic. 随后,通过对三类主要的模态逻辑哲学问题的讨论,文章认为本质主义是模态逻辑哲学问题的关键所在。
Tax on Land: Tax levied per hectare of rural land and per square meter of urban land, according to normative values varying by type of land and location established by regional legislative bodies. 土地税：农用土地每公顷为单位征税，城市用地每平方米为单位征税，参考区域立法机构根据土地类型和区位确定的标准价格。
On one end of the spectrum are powerful frameworks such as Hoare logic, algebraic specification languages, modal logics, and denotational semantics. 在涉及面的一端是强大的框架，像Hoare逻辑、代数规范语言、模型逻辑和形式语义学。
On the doctrinal meaning, aesthetic activity and value activity, aesthetic phenomena and value modality are homomorphism and isomorphic. Aesthetic activity belongs to the category of value activity; beauty(aesthetic phenomena) is one of value modalities. 从学理上说,审美活动与价值活动、审美现象与价值形态同形同构,审美活动属于价值活动范畴,美(审美现象)是无数价值形态之一种。
We can construct ME by using the technical methods in modal logics to define general valid formulae. 我们可仿造真性模态逻辑的技术方法定义普遍有效式，构造极小正规认知系统ME。