Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。
He tried to study logic philosophy, it trying to expand concepts to analyses of sentences in thing natural language. Then he established the system of philosophy of logic.
他试图探讨逻辑哲学，即把概念文字扩展到自然语言中句子的分析，建立逻辑哲学体系。
This paper analyses the design form of engine fire detection system, principle of detectors and fire detection logic, as well of technical characteristics.
本文分析了现代飞机的发动机火警探测系统的总体设计，探测器原理和处理探测器信号的判断逻辑和系统设计特点。
应用推荐