- 更多网络例句与经典逻辑相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Because Horn-clause logic theory is of significance in both respects of theory and application, We especially studied lattice-valued Horn-clause logic with truth-value in lattice implication algebra, and the soundness and completeness theorem have been proved.
经典逻辑中，Horn子句逻辑理论具有广泛的应用，因而，本文中特别建立了基于格蕴涵代数的格值-类Horn子句逻辑，并证明了可靠性和完备性定理，这为建立一类基于格值逻辑这种非经典逻辑的人工智能语言将产生重要的作用。
-
The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.
二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。
-
Deviant logic is a logic branch which are made up of by denying or modifying some basic principles of classical logic, including Intuitionism Logic, Many-Valued Logic, etc.
变异逻辑是由否定或修改经典逻辑的某些基本假定而形成的逻辑分支，包括直觉主义逻辑，多值逻辑等。
-
Two intuitionistic systems of firstorder sentential calculus, Hilbert s type and natural deduction t ype, were introduced.
介绍了一阶命题演算的两个直觉主义系统：希尔伯特型及自然演绎型，并证明了这两个系统的等价性，揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关
-
From the point of modern logic, the logic developed from traditional logic to classical symbolic logic then to non-classical logic.
从现代逻辑学的视野来看，逻辑学从古至今经历着从传统逻辑到经典逻辑再到非经典逻辑的发展过程。20世纪80年代以来，非经典逻辑在计算机科学和人工智能领域获得了基础性的地位。
-
Dynamic epistemic logic,rised in recent years,is a non-classical logic.
动态认知逻辑是近年兴起的非经典逻辑，是一个相对比较新的研究领域。
-
As one of the important fuzzy logic algebraic systems, Residuated lattices have broad applications.
在解决模糊推理的逻辑基础问题中，模糊逻辑相应的代数系统是非经典逻辑的一个重要研究方向。
-
Extended logic is a logic branch which are made up of by using classical logic to analyze some concepts or categories of some special subjects, particularly, philosophy, including Modal Logic, Deontic Logic, Tense Logic, etc.
逻辑扩展逻辑则是利用经典逻辑的工具，去分析某些具体学科特别是哲学中的概念或范畴而建立的逻辑学分支，如模态逻辑、道义逻辑、时态逻辑等。
-
Dummett's views on intuitionism logic can be divided into three levels that are proof theory, semantics, and the theory of meaning. He expounded and proved the arguments; intuitionism logical rules are self-defended, and their semantic interpretations can be avoided cyclic argument while he demonstrated the philosophical-logical intentions of the dispute between classic logic and intuitionism logic.
他对直觉主义逻辑的辩护包括证明论、模型论或语义学、意义理论三个层次，他论证了直觉主义逻辑规律是自我辩护的、其语义解释可以避免循环论证，阐明了直觉主义逻辑和经典逻辑之争的逻辑哲学内涵。
-
The study of lattice-valued resolution principle based on lattice-valued logic with truth-value in lattice implication algebras Because of it concise, resolution principle is an implication direction in automated theorem proving, and it will be of significance to establish resolution principle based on non-classical logics.
基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究归结原理由于其简洁性一直是自动定理证明中一个受到广泛重视的研究领域，因而建立基于非经典逻辑的归结方法对于非经典自动定理证明有着重要的意义。
- 更多网络解释与经典逻辑相关的网络解释 [注：此内容来源于网络，仅供参考]
-
deviance：变异
有些逻辑学家认为,一阶逻辑的某些基本假设、原则或前提不正确,造成了不可接受的后果,因此应予以修正,由此构造出一批逻辑系统,例如相干逻辑、直觉主义逻辑、次协调逻辑等等;它们与原来的经典逻辑系统构成"竞争"(competition)、"替代"(replacement)或"变异"(deviance)关系.
-
Mental content: internalism or externalism：[心理内容:内在论,或外在论
12. Logic: classical or non-classical? [逻辑:经典... | 13. Mental content: internalism or externalism? [心理内容:内在论,或外在论?] | 14. Meta-ethics: moral realism or moral anti-realism? [元伦理学:道德...
-
hardwired：硬线
[关于影片的创作过程]电影最初的剧本叫>(HARDWIRED),是一个经典样式的悬疑谋杀故事,其主旨非常贴近阿西莫夫的"机器人三大定律",可以说,故事的发展脉络就是根据定律的逻辑推演来设计情节的.
-
logically：逻辑地
"(对立)两项中的一项总是(在价值上(axiologically),逻辑地(logically),等等)支配另一项,或占有优势",关于任何经典对立或二元对立的对立项,德里达这样写道(>,41);所以,就此而言,对立绝不可能有中性的差异次序(order of neutral difference),
-
perfect competition：完全自由竞争
此公有他自己奇怪的逻辑:根据教科书的经典理论,完全的自由贸易必须满足五个条件:(1)市场完全自由竞争(Perfect Competition);(2)汇率没有被操纵;(3)产业没有规模经济;(4)没有跨国投资或技术转让;(5)没有政府补贴或强制性出口要求.
-
tautologies：重言式
特别低,所有逻辑的重言式(tautologies)都可以被证明. 即使在经典逻辑中,这与前述的完备性是不同的(即一个陈述和否定陈述对于这个逻辑而言不可能是重言式). 相反的概念被称为可靠性(soundness). 在计算复杂度理论(computational complexity theory)中,