在数理逻辑中，线性逻辑是拒绝弱化和收缩的结构规则的一种亚结构逻辑。对此解释是假设是资源： 在证明中所有假设必须被消费精确一次。这区别于平常的逻辑比如经典逻辑或直觉逻辑，那里统治判断是真理，它可以按需要被自由的使用多次。
线性逻辑阵列 linear logic array
的线性逻辑斯蒂克模型 LLTM ; linear logistic trait model
线性逻辑卷 Linear Volumes
线性逻辑斯蒂克模型 linear logistic trait model
线性时序逻辑 LTL ; Linear Temporal Logic ; linear-time temporal logic ; linear time Logic
线性分析的逻辑流 logic flow
线性时态逻辑 LTL
命题线性时序逻辑 PLTL ; propositional linear temporal logic
Since the birth of linear logic, the topic of it and substructural logics has drawn the attention of many researchers.
自线性逻辑的概念诞生以来，关于线性逻辑及其子结构逻辑的研究已经引起了广泛关注。
参考来源 - 任务逻辑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.
由于有限状态自动机中的服务接口可以转化为本体概念,服务行为可以转换为线性逻辑表达式描述,因此我们又可以使用线性逻辑的演绎方法对服务组合结果的数据可匹配性进行验证,为了适应服务组合的需要我们还对线性逻辑的演绎定理进行了适当扩展。
参考来源 - 基于语义的自动化服务组合研究·2,447,543篇论文数据，部分数据来源于NoteExpress
人们不会按线性逻辑作出反应。
这种反向推论的路径是西方逻辑的基础，即线性逻辑。
That backward path is the foundation of Western, linear logic.
阐明了任何形式的逻辑方程或逻辑方程组都可转化为线性逻辑方程组求解。
The conclusion that the logical equation or logical equations in any form could be changed into linear logical equation is clarified.
应用推荐