What is the translation of " STRUCTURAL RULES " in Chinese?

• 结构规则

Examples of using Structural rules in English and their translations into Chinese

These are basic examples of structural rules.
这些是结构规则的基本例子。

The structural rules deserve some additional discussion.
结构规则需要某些额外的讨论。

The above are basic examples of structural rules.
这些是结构规则的基本例子。

There are further structural rules corresponding to the idempotent and monotonic properties of conjunction: from.
还有对应于合取特性的幂等性和单调性的进一步的结构规则：从.

We get tangled up in the so-called structural rules.
我们纠结于所谓的结构规则。

In contrast, the structural rules operate on the structure of the sequents, ignoring the exact shape of the formulae.
相反的，结构规则操作在相继式的结构上，忽略公式的准确形状。

One may restrict or forbid the use of some of the structural rules.
人们可以限制或禁用某个结构规则。

Logics that deny one or more of the structural rules are classified as substructural logics.
拒绝一个或多个结构规则的逻辑被归类为亚结构逻辑。

The extra effort of using sequences, however, is justified since part or all of the structural rules may be omitted.
但是使用序列的额外努力是正当的，因为部分或全部的结构规则可以被忽略。

Instead, it proposes structural rules and planning exercise- both forms of rigidity- to hurdle this need.
这些理论反而习惯性地提出结构性的规则和规划方法（这些都是僵化的形态），以抑制这样的需求。

In addition to the load description of the appliance, it is not necessary to consider too many precise data and structural rules.
面的说明外，它不用去考虑太多的精确数据和结构规则。

American inequality is the result of misguided structural rules that actually constrict economic growth.
美国的不平等是因为错误的结构规则已经限制经济增长。

In addition to the load description of the appliance, it is not necessary to consider too many precise data and structural rules.
产品的器具除了负载方面的说明外，它不用去考虑太多的精确数据和结构规则。

In linguistics, grammar is the set of structural rules which influences the composition of clauses, phrases, and words in any given language.
在语言学中，语法是一套结构规则，它影响任何给定语言中的从句、短语和单词的构成。

In mathematical logic, linear logic is a type of substructural logic that denies the structural rules of weakening and contraction….
在数理逻辑中，线性逻辑是拒绝“弱化”和“收缩”的结构规则的一种亚结构逻辑。

They differ in having fewer structural rules available: the concept of structural rule is based on the sequent presentation, rather than the natural deduction formulation.
同常规系统的不同之处在于它们有更少的结构规则可用：结构规则的概念是基于相继式（sequent）表达，而不是自然演绎的公式化表达。

An HTML browser or other agent can infer the closure for the end of an element from the context and the structural rules defined by the HTML standard.
HTML浏览器或其他媒介可以从上下文识别出元素的闭合端以及由HTML标准所定义的结构规则。

A logic without any of the above structural rules would interpret the sides of a sequent as pure sequences; with exchange, they are multisets; and with both contraction and exchange they are sets.
没有任何上述结构规则的逻辑将把相继式解释为纯粹的序列；带有交换规则它们就是多重集；带有紧缩和交换规则二者它们就是集合。

In a related, but separate project, the International Association of Classification Societies is developing common structural rules for ships, initially for bulk carriers and tankers.12.
一个与此有关，但是分开的项目是国际船级社联合会正在制订通用的船舶构造规则，首先制订关于散装货轮和油轮的规则。

A famous structural rule is known as cut.
最著名的结构规则叫做切。

The substitution theorem of natural deduction takes the form of a structural rule or structural theorem known as cut in the sequent calculus.
自然演绎的代换定理在相继式演算中采用了结构规则或叫做切的结构定理的形式。

We called these three groups of rules structural, interpretive, and critical.
我们称这三组规则为架构性、诠释性与评论性的。

The judge ordered that work must comply with"structural alterations" rules.
法官判决，翻修工程必须符合“结构性变更”的规定。

New structural design rules for buildings to take into account the changing climate should be ready for adoption by the 2025 building code.
考虑到气候变化的建筑物结构设计规则，已经准备好适应2025年的新建筑法规。

We all know that the so-called structural issues- consensus, rules of procedure, decisionmaking, and regional groups- are amenable to solutions.
众所周知，所谓结构问题----协商一致、程序规则、决策和区域集团----都可以通过解决办法来克服。

Structural plywood is manufactured to specific rules in strength classes P40, P30 and P20.
结构胶合板根据专门的规定生产，强度等级为P40、P30和P20。

Sound structural subtyping rules for types other than object types are also well known.
不是对象类型的类型的健壮的结构子类型规则也是周知的。

The Working Group held several meetings between November 1999 and June 2000 and its discussions focused on two areas, namely amendment of the Rules and structural changes.
年11月至2000年6月间，工作组举行了数次会议，主要讨论两个方面，即修改《规则》和结构变革。

Agriculture is supported from the EU Structural Funds, the rules of administration whereof require to ensure equal access for women and men to the EU structural support for the development of their farms.
农业得到了欧盟结构基金的资助，该基金的管理规则要求确保男女有平等的机会得到欧盟结构基金的支助，以发展其农场。

In proof theory, a structural rule is an inference rule that does not refer to any logical connective, but instead operates on the judgment or sequents directly.
在证明论中，结构规则是不提及任何逻辑连结词的推理规则，它直接操作于判断或相继式。