1) logic of analogism
比类逻辑
1.
The immanent logic of thinking of Chinese traditional culture can be generalized as"logic of analogism",this way of causing speculation has had far-reaching influence over the characteristic of "traditional politico-cultural"thinking.
中国传统文化内在的思维逻辑可以概括为"比类逻辑",这种致思方式对于"传统政治文化"的思维特点影响深远。
2) logical contradiction and analogy
逻辑矛盾和类比
1.
Logical thought s position and its role in the scientific innovation are discussed here from induction and deduction to logical contradiction and analogy, from mathematical logic to man-made intellectual faculties,etc.
本文从逻辑思维中的归纳和演绎、逻辑矛盾和类比、数理逻辑与人工智能等方面简述了逻辑思维在科学知识创新中的地位和作用。
4) Comparative Logic
比较逻辑
1.
A Preliminary Theory Structure of Comparative Logic——looked from logical and the cultural relational;
比较逻辑学理论初构——从逻辑与文化关系维度看
5) BAN-like logic
BAN类逻辑
1.
BAN-like logic has been the most widely used formal method by far.
用形式化的方法分析密码协议可以检测出协议中的漏洞和证明协议的安全性,BAN类逻辑是目前使用最广泛的一种形式化分析密码协议的方法。
2.
There are many ways proposed to analyze the security protocol, the BAN-like logic is one of the important ways.
人们提出了多种密码协议的分析方法，BAN类逻辑是其中重要的一种。
3.
This paper is propose a new BAN-like logic system on the Li-logic.
论文在李逻辑的基础上提出一种新的BAN类逻辑系统,引进了新的符号、公式,添加了消息源公理,改进了消息生成公理、身份认证公理、消息接收公理,将系统加以扩展,并且列出若干常用定理。
6) BAN-like logics
BAN类逻辑
1.
BAN-like logics is one of the main tools for analysis cryptographic protocols in recent years, the limitations of BAN logicare analyzed and illustrated with examples, and then the features of the extended BAN-like logics and their common defects arestudied.
BAN类逻辑是近年来主要的密码协议分析工具之一,在分析了BAN逻辑存在的各类缺陷并用实例详细说明的基础上,研究和归纳了各种扩展的BAN类逻辑的特点和他们共同的缺陷,指出了BAN类逻辑应该改进的方面以及今后进一步的研究方向。
2.
The development of BAN-like logics promotes the research of this area.
形式化方法能有效检验安全协议的安全性 ,BAN类逻辑的发展极大地促进了这一领域的研究 ,但是现有的BAN类逻辑仍然存在许多问题 在分析现有BAN类逻辑的基础上 ,提出一种新的安全协议形式化验证方法 ,实现现有BAN类逻辑的验证功能 ,并使安全协议验证工作简单可行 ,便于实现机器自动验证 为安全协议形式化验证提供了一种新的途
补充资料：比类
1.整理，按类排比。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条