·2,447,543篇论文数据，部分数据来源于NoteExpress
In the background da Costa founded paraconsistent logic.
在这一背景下达·科斯塔创立了弗协调逻辑。
youdao
The paraconsistent logic belongs to the unusual non- classical logic.
次协调逻辑属于异常型的非经典逻辑。
Here the basic method to circumscribe contradiction is paraconsistent logic.
这里，限制矛盾的基本手法是次协调逻辑。
应用推荐
模块上移
模块下移
不移动