linear logic array 线性逻辑阵列
non-linear logic 非线形逻辑
Linear Logic System 线性逻辑体系
noncommutative linear logic 非可换线性逻辑
Linear Temporal Logic 线性时序逻辑 ; 提出的是线性时序逻辑 ; 和线性时态逻辑理论
cellular linear input logic 胞状线性输入逻辑
linear-time temporal logic 随后采用线性时序逻辑 ; 线性时序逻辑
linear time Logic 一种是线性时序逻辑 ; 线性时序逻辑
Since the service interface definition can be represented by ontology concepts, and the service behavior can be represented using linear logic formulas. So we can use inference rules of linear logic to check the matchability and satisfiability of service message.
由于有限状态自动机中的服务接口可以转化为本体概念,服务行为可以转换为线性逻辑表达式描述,因此我们又可以使用线性逻辑的演绎方法对服务组合结果的数据可匹配性进行验证,为了适应服务组合的需要我们还对线性逻辑的演绎定理进行了适当扩展。
参考来源 - 基于语义的自动化服务组合研究Since the birth of linear logic, the topic of it and substructural logics has drawn the attention of many researchers.
自线性逻辑的概念诞生以来,关于线性逻辑及其子结构逻辑的研究已经引起了广泛关注。
参考来源 - 任务逻辑·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
Humans do not react according to linear logic.
人们不会按线性逻辑作出反应。
That backward path is the foundation of Western, linear logic.
这种反向推论的路径是西方逻辑的基础,即线性逻辑。
The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑,一种可以表达过去和未来的详细约束的数理逻辑系统。
应用推荐