1) consequence
[英]['kɔnsɪkwəns] [美]['kɑnsə'kwɛns]
后承
2) inherit the past and usher in the future
承前启后
1.
To analyze the Chinese Second Generation Architects entirely, the author indicates that they have done the special contributes which inherit the past and usher in the future of Chinese architectural culture during the transitional period of economy.
本文在全面分析中国第二代建筑师群体特征的基础上,指出在经济转型时期的中国建筑文化发展中,他们做出了承前启后的特定贡献。
3) reasonable consequence
合理后承
1.
This paper determines a delta inference operator C based on the notion of reasonable consequence of Adams′ system and studies its properties.
基于合理后承关系构造的δ推理算子是合理后承关系的又一表示形式，通过对这一δ推理算子性质的讨论，可以知道合理后承关系是一个满足包含律、单调律、有限累积律的推理关系。
4) sequent
[英]['si:kwənt] [美]['sikwənt]
后承式
1.
We introduce the notion of sequent to the computation,and it results a new computing frame in the research.
有效地处理属性论的分级现象,后承式的推理方法被引入至计算中,结果形成属性论的一个新的计算框架。
5) intention logic
意图后承
6) consequence relation
后承关系
1.
In system L~*, the consequence relation |～: for A,B∈F(S),A|～B if and only if A~2├B are defined.
研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统L ,在L 系统中定义了后承关系｜～:A｜～B当且仅当A2├B,证明了在L 系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这种后承关系不满足单调推理系统M的逆否律规则,从而在L 系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统。
补充资料：承承
1.谓代代承继。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条