中英▼
go top

Paraconsistent logic

  • 弗协调逻辑，并真逻辑

网络释义专业释义英英释义

  次协调逻辑

...学合作社 phil-commune 关键词：次协调逻辑；形式系统的语法等价；不一致；自引用 [gap=6233]Key words： Paraconsistent Logic; Syntactically-equivalent of Formal System; Inconsistent; Self-reference ..

基于2568个网页-相关网页

  弗协调逻辑

一、经典逻辑对矛盾的拒斥 弗协调逻辑（paraconsistent logic）作为一种非经 典逻辑，从根本上是对经典逻辑中不可动摇的矛盾 律加以限制的结果。

基于80个网页-相关网页

短语

Paraconsistent Logic Programs 次协调逻辑程序

Nonmonotonic Paraconsistent Logic 非单调次协调逻辑

paraconsistent modal logic 弗协调模态逻辑

paraconsistent epistemic logic 弗协调认知逻辑

 更多收起网络短语
  • 弗协调逻辑 - 引用次数：4

    In the background da Costa founded paraconsistent logic.

    在这一背景下达·科斯塔创立了弗协调逻辑。

    参考来源 - 弗协调逻辑应用于道义逻辑的研究
    亚相容逻辑 - 引用次数：4

    Paraconsistent logic has made great influence on logic, mathematics and philosophy.

    亚相容逻辑的建立,对逻辑学、数学、哲学都产生了极大的影响。

    参考来源 - 论亚相容逻辑中的“矛盾”——达科斯塔的亚相容逻辑思想述评
  • 次协调逻辑 - 引用次数：6

    参考来源 - 标记逻辑的TABLEAU判定过程 in C
    超协调逻辑 - 引用次数：5

    参考来源 - 超协调时序逻辑及其模型检测方法

·2,447,543篇论文数据，部分数据来源于NoteExpress

Paraconsistent logic

  • abstract: A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or "inconsistency-tolerant") systems of logic.

以上来源于: WordNet

双语例句

  • In the background da Costa founded paraconsistent logic.

    在这一背景下达·科斯塔创立了弗协调逻辑。

    youdao

  • The paraconsistent logic belongs to the unusual non- classical logic.

    次协调逻辑属于异常型的非经典逻辑。

    youdao

  • Here the basic method to circumscribe contradiction is paraconsistent logic.

    这里，限制矛盾的基本手法是次协调逻辑。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定