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.
从弗协调逻辑的观点看，处理悖论的最好办法，也许不是拒斥，而是应该采取容纳的态度。
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.
证明了该算法是可判定的，而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。
We proved that the new paraconsistent tableau algorithm is decidable and has the same reasoning ability with the classical Description Logic over consistent ontologies.
证明了该算法是可判定的，而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。
应用推荐