逻辑

fuzzy reasoning and fuzzy propositional logic are topics of general interest in many-valued logic.

模糊命题逻辑系统和模糊推理是多值逻辑研究的热点课题。

Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.

包括的领域包括： provability的逻辑，对生物学，心理学，物理学，化学，经济学和其他基础科学的computability 理论的应用； computability 理论和可计算的模型；逻辑学和空间时间几何学；混合法；逻辑和基于地区的空间的理论。

Furthermore,this paper introduces some details in designing and implementing of the APL automated theorem prover for Pointer Logic,and describes some algorithms.

指针逻辑作为Hoare逻辑的扩展，可以对指针程序进行精确的分析。

Having combination of the theory of truth degree in metrology of logic with the theory of ∑-α-tautologies in fuzzy logic, which have been introduced by professor G.J.Wang, the theory of ∑Γ-truth degree was introduced, and its properties which induce a pseudometric on F were investigated. The results gained have complemented and enhanced the original theory, and the work delivers a new frame for fuzzy reasoning.

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合，在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论，较为详细地讨论了它们的性质，并利用∑Γ-真度的性质在公式集F上引入了ρΓ-伪距离，对原有的理论进行了加强和补充，为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。

Through logic genealogy,Husserl criticizes more farthe logical psychologism,and more important,lays a transcen-dental basis of pure reason for constructing the empirical world.

通过逻辑谱系学，胡塞尔不仅进一步地批判了逻辑的心理主义倾向，而且更为重要的是，为经验世界的建构提供了一个纯粹理性的先验根据。

Many people think it is Frege who first provided the significance of quantifier in modern logic.

量词是逻辑学尤其是现代逻辑中的一个核心概念，在逻辑分析和语言分析中有着特别的重要性。

After questionary,the circumstance of college students of science and engineering mastering the mathematical induction is obtained:many students knew how to use the mathematical induction,but they didn't know its logical basis and logical theory.

通过问卷调查，了解到理工科学生掌握数学归纳法的状况，绝大多数人会用数学归纳法，但他们不知道数学归纳法的逻辑基础和逻辑原理。

Quine is opposed to Carnap's linguistic doctrine that logical truths are true purely due to language.

他反对卡纳普的逻辑真的语言学学说所主张的逻辑真是纯粹由於语言而为真。

If in theonomy the concept of God is prior to logic, in rationalism logic is prior to theology.

如果在theonomy神的观念是前逻辑，在理性主义的逻辑是：前神学。

On basis of recursion theory of deep optimization traversal, stimulated the logical graph of water project by visual programming technology, and applied it to the west water source project of Weihe valley.

运用图论中节点连接表法描述各水源之间的逻辑联系关系，探索了分析流域拓扑结构的基本思想；以深度优先遍历的递归理论为基础，采用可视化编程技术，用计算机模拟了与研究对象有水力联系的水源工程逻辑结构图，并以渭河流域西部水源工程为研究对象进行了实现。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。