# 逻辑演算

logic calculus

According to the pattern, the traditional judgment logic phalanx may find out the equivalence description in uniting calculation. In addition, all efficient formulas of traditional lexical logic become the external true formula without exception, and the inefficient become the external false.

ELNF calculus is a functional/logic calculus system which based on LNF calculus by extending it to include logic programming ability.

ELNF演算的解释技术金海，李智勇，张运桢，阳富民，银海（华中理工大学计算机系，武汉430074）摘要ELNF演算是我们在LNF演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言RFUNLOG的基础。

The similarity logic calculus system of multi-agent case retrieval is studied.

An object-based logic calculus is outlined in this paper, which is built on the trace calculus based on dynamic entities with local states.

The rules of modus ponens are given and the main results of propositional calculus in two-valued logic.

In order to describe the dynamic and complicated process model exactly, we propose the logic situation calculus based on the expanding the situation calculus and describe the virtual enterprise in this formal logic framework.

The similarity logic calculus systems based on incomplete information and incomplete case knowledge is constructed by using a first order modal logic and a simplified second order predicate calculus. The grammar、semantics and inference rule are described.

Related new concepts include: proposition and predicate calculus of transition logic, excitation factors and transition conditions, star algorithm and its model in pansystems analysis, pansystem logic space, pans-ystem logic extending reasoning principle, dynamical yinyang logic, etc.

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

Prepositional logic 命题逻辑:---- also known as prepositional calculus or sentential calculus,is the study of the truth conditions for propositions:how the truth of a composite propositions and the connection between them.

hypothetical syllogism：假言三段论

Pearson认为,这种逻辑发源于古希腊哲学巨匠Socrates,后在Aristotle那里得到了系统的表述,近代又在Boole和Peirce那里被转化成相应的数理演算模式. 形式逻辑最具代表性的是"假言三段论"(hypothetical syllogism),具体体现在下面的推导公式里:

logic calculus：逻辑演算

"逻辑的计算机辅助设计","logic CAD" | "逻辑演算","logic calculus" | "逻辑能力","logic capability"

optical logical operation：光論理演算

optical logic 光学逻辑电路 | optical logical operation 光論理演算 | optical loss 光損失

logical variable：逻辑变量 IN FOPC(一阶谓词演算)

115 LOGICAL OPERATORS 逻辑运算符/逻辑算子 | 116 LOGICAL VARIABLE 逻辑变量 IN FOPC(一阶谓词演算) | 117 LOGIC - BASED QUESTION ANSWERING 基于逻辑的问答

logistical regression：逻辑斯谛回归

Naturalism and Historicism：自然主义和历史主义

2. Naturalism and Logical Calculus 自然主义和逻辑演算 | 3. Naturalism and Historicism 自然主义和历史主义 | 4. Essences and Historical Perspectives 本质及其历史展望

proof theory：证明论

propositional calculus：命题演算

predicated response：预测响应

predicate logic language 谓词逻辑语言 | predicated response 预测响应 | predicative calculus 谓词演算

predicated response：猜测响应

predicate logic language 谓词逻辑语言 | predicated response 猜测响应 | predicative calculus 谓词演算