构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;
其次，我们建立命题型的择类语义，给出描述上述系统的特征公理的框架条件。
Secondly, we introduce a prepositional class-selection semantics, give the frame conditions of the character axioms of the systems.
其次，我们引入有序邻域语义，给出描述DEC2的特征公理的框架条件，证明DEC2相对这些框架条件是框架可靠的。
Secondly, we introduce the order neighborhood semantics, give the frame conditions of the character axioms of DEC2, prove the frame soundness of DEC2 with respect to the frame conditions.
其次，我们引入有序邻域语义，给出描述DEC1的特征公理和规则的框架条件，证明DEC1相对这些框架条件是框架可靠的。
Secondly, we introduce the order neighborhood semantics, give the frame conditions of the character axioms and rules of DEC1, prove the frame soundness of DEC1 with respect to the frame conditions.
其次，我们引入关系语义，给出描述KA的特征公理的框架条件，证明KA相对这个框架条件是框架可靠的。
Secondly, we introduce the relation semantics, give the frame conditions of the character axioms of KA, prove the frame soundness of KA with respect to the frame conditions.
其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。
Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
程序以操作表达式的形式呈现， 而其语义则以公理的形式给出。
Programs have appeared as O_expressions(expressions of operations on physical objects) and program semantics are given by axioms on O_expressions.
解决副作用问题时采用语义方法，引入场景的概念解释意图算子，并提出了新的公理。
When resolving side effect problem, the theory introduces the concept of scenario to interpret the semantic meaning of intention operator and USES new inference rules to replace the old ones.
解决副作用问题时采用语义方法，引入场景的概念解释意图算子，并提出了新的公理。
When resolving side effect problem, the theory introduces the concept of scenario to interpret the semantic meaning of intention operator and USES new inference rules to replace the old ones.
应用推荐