这个称为基于经典逻辑的否定。
次协调逻辑属于异常型的非经典逻辑。
The paraconsistent logic belongs to the unusual non- classical logic.
它是可计算性的形式理论，正如经典逻辑是真理的形式理论。
It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.
作者认为哲学逻辑是具有哲学旨趣或涉及哲学事业的非经典逻辑。
We believe it's a non-classical logic with philosophical purport or cause.
中介逻辑是一种以清晰的和模糊的事物为研究对象的非经典逻辑系统。
Medium logic is an non-classical logic system about researching distinct objects and fuzzy objects.
在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。
Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
将论证理解为语义学概念还是语用学(辩证的)概念是非形式逻辑和经典逻辑的分水岭。
Understanding argument as a semantic conception or as pragmatic conception is the watershed between informal logic and classical logic.
这个概念符合一些心理学家的观点，这些心理学家认为严谨的经典逻辑在人类想法中只占很小的部分。
This idea fits with the views of some psychologists, who argue that strict classical logic only plays a small part in the human mind.
模糊逻辑与量子逻辑以及它们相应的代数系统是目前非经典逻辑体系中非常活跃的研究分支。
Now, studies about fuzzy logic, quantum logic and the corresponding algebra systems are very active in non-classical logic.
同时对各种逻辑传统(如经典逻辑、直觉主义逻辑和线性逻辑等)，给出一种统一和融和的方法。
It also offers a way to reconcile and unify various competing or antagonistic traditions of logical thought such as classical, intuitionistic and linear logics.
证明了该算法是可判定的，而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。
We proved that the new paraconsistent tableau algorithm is decidable and has the same reasoning ability with the classical Description Logic over consistent ontologies.
与此相关，考察经典逻辑和模态逻辑中的某些推理规则，讨论这些推理规则在日常推理中的有效性问题，是十分必要的。
This paper also explores some rules of inference in classical logic and modal logic, and discusses the validity of these rules of inference in daily life.
互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样，都是三真一假的真值表，但含义却不尽相同。
The definition of establishment of mutually inverse proper implication in mutually-inversistic logic is the same as that of material implication in classical logic, but their meanings are different.
我们所知道的人类思考方式通常不遵守经典的逻辑理论中的原则。
Human thinking, as many of us know, often fails to respect the principles of classical logic.
因为与扑克筹码有关的联结,是通过经典条件作用建立的，所以按照这种逻辑,扑克筹码迟早会失去强化物的作用。
Since the connection with the poker chips is established through classical conditioning, sooner or later by that logic the poker chips would lose their power to serve as reinforcers.
这是一个经典的横切需求：它并不是我们主要的业务逻辑部分，而是个单独的关注点。
This is a classic example of a crosscutting requirement: it isn't part of our mainline business logic, but is a separate concern.
第一句话引出了登山。 第二句话是一个经典句子，没有人生来就是一个好的登山者，一个人只有在无数伤痛后才能成长起来——该句的内在逻辑联系非常强。
Nobody is born a good mountain climber, and one can only become a skilled one after countless injuries.
具有较好的柔韧性和宽容度，它可以容纳经典谓词逻辑。
It can contain classic quantified modal logic and it is flexible and tolerated.
实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
经典命题逻辑是现代形式逻辑的基础。
The classical proposition logic is the basis of modern formal logic.
首先简单介绍了经典的BDI模型，以及基于正规模态逻辑存在的一些问题。
At first the classical BDI model is introduced simply, and points out some problem based on normal logical model.
经典的金融学是构建在严谨的数理逻辑推理前提之上。
The Classical Finance is on the basic of the precise math discursion and the logical discursion.
在此模型上，使用合理的同构假定，运用基于模型的诊断方法对程序进行逻辑错误的诊断，并与经典的诊断模型作了比较。
On the model with reasonable isomorph suppose, a model-based diagnosis is used in program debbuging for logic errors, and compare this model to the other classical models on its advantages.
根据单电子系统半经典模型，采用蒙特卡罗法单电子模拟程序对电容耦合的类CMOS单电子逻辑单元在不同参数条件下的转移特性进行数值模拟。
According to the semi classical model, the transfer characteristics of CMOS type single electron digital logic cells were analyzed by the Monte Carlo simulation.
连续一阶逻辑是经典一阶逻辑的一个类比。
Continuous first-order logic is an analog of classical first-order logic.
以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。
Quantified modal logic based on free logic improves classic quantified modal logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
Predicate logic of first order is the most classical calculation system in modern logic.
如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
How to make classical mathematical logic more flexible to contain various uncertainties and evolution is a new challenge that logics faces.
方法非经典数理逻辑的语义理论。
方法非经典数理逻辑的语义理论。
应用推荐