1) Middle Logical Layer
中间逻辑层
2) Middle business logic tier
中间业务逻辑层
3) intermediate logic
中间逻辑
1.
We introduce a concept of well-formed normal forms in intermediate logics, and put forward a general method to investigate them.
本文在中间逻辑中引入了良构范式的概念,为该类范式的研究提出了一个通用方法,并应用该方法证明了HT逻辑是存在一般蕴含范式的最弱中间逻辑,经典命题逻辑CPL是存在限制蕴含范式的仅有中间逻辑。
2.
The purposes of the thesis are to discover some useful normal forms for these areas in intermediate logics; to obtain the existence results for these normal forms in intermediate logics; and to devise some algorithms.
中间逻辑是强弱介于经典逻辑与直觉主义逻辑之间的一大类命题逻辑。
4) bay levels logical five-prevention
间隔层逻辑五防
1.
The paper discusses the implement of bay levels logical five-prevention technology of computer superision and control system in 750kV Xining subststion,as well as makes probe on application of integration five-prevention technology in Qinghai substation.
文章阐述了西宁750 kV变电站计算机监控系统间隔层逻辑五防技术的实现,同时对一体化五防在青海变电站的应用进行探讨。
5) first level logical
一层逻辑
6) second level logical
二层逻辑
补充资料：涂中间层
分子式：
CAS号：
性质：是在底漆与面漆之间涂施二道浆、封闭层或喷用腻子等中间涂层的涂装作业。其目的是保护底漆和腻子层，以免为面漆咬起，增加底漆与面漆的层间结合力，消除底涂层的缺陷和过分的粗糙度，增加涂层的丰满度，提高涂层的装饰性和保护性。适用于装饰性要求较高的涂层。
CAS号：
性质：是在底漆与面漆之间涂施二道浆、封闭层或喷用腻子等中间涂层的涂装作业。其目的是保护底漆和腻子层，以免为面漆咬起，增加底漆与面漆的层间结合力，消除底涂层的缺陷和过分的粗糙度，增加涂层的丰满度，提高涂层的装饰性和保护性。适用于装饰性要求较高的涂层。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条