In the background da Costa founded paraconsistent logic.
在这一背景下达·科斯塔创立了弗协调逻辑。
The paraconsistent logic belongs to the unusual non- classical logic.
次协调逻辑属于异常型的非经典逻辑。
Here the basic method to circumscribe contradiction is paraconsistent logic.
这里，限制矛盾的基本手法是次协调逻辑。
The fourth part makes deep study of the philosophical significance of, paraconsistent logic.
第四部分主要对次协调逻辑的哲学价值做较为深入的探析。
From the viewpoint of paraconsistent logic, the best method of solving paradox is to tolerate rather than reject.
从弗协调逻辑的观点看，处理悖论的最好办法，也许不是拒斥，而是应该采取容纳的态度。
Recently, some paraconsistent scenarios were used to avoid trivial inferences so that inconsistencies occurring in ontologics could be tolerated.
近来一些超协调方案通过限制或阻止使用一些推理规则来避免推理的平凡化，从而容忍本体中出现的不协调。
According to the view of "true contradiction", system of paraconsistent logic tries to portray dialectic, tolerate paradox and even logic contradiction.
依照次协调逻辑“真矛盾”的观点所构建的次协调逻辑系统，夷非所思地试图要容纳我们所认知的悖论、辩证矛盾、甚至逻辑矛盾。
We proved that the new paraconsistent tableau algorithm is decidable and has the same reasoning ability with the classical Description Logic over consistent ontologies.
证明了该算法是可判定的，而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。
The connotations and characteristics of classical negation, intuitionistic negation and paraconsistent negation are discussed from the points of syntax and semantics in the article.
本文从语形和语义两个角度探讨了经典否定、直觉主义否定和弗协调否定的含义、性质与特征。
The connotations and characteristics of classical negation, intuitionistic negation and paraconsistent negation are discussed from the points of syntax and semantics in the article.
本文从语形和语义两个角度探讨了经典否定、直觉主义否定和弗协调否定的含义、性质与特征。
应用推荐