go top

relevance logic

  • 相关逻辑,相干逻辑;关联逻辑

网络释义英英释义

  相干逻辑

R系统是 相干逻辑 ( relevance logic )的命题演算系统,是美国逻辑学家安特逊和贝尔纳普于1959年建立的。本文的目的是证明这两个系统等价。

基于2496个网页-相关网页

Relevance logic

  • abstract: Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related. They may be viewed as a family of substructural or modal logics.

以上来源于: WordNet

双语例句

  • In some organizations, the notion that the volume of logic may have relevance has been controversial, at times garnering a degree of skepticism and even contempt.

    一些组织中,逻辑容积可能关联性想法已经引起争论有时候会受到某种程度的怀疑甚至轻视。

    youdao

  • Here, logging output influences other parts of a system in terms of business relevance, in other words, other applications read business critical log records and use those in their business logic.

    在这种情形下,根据业务相关程度,日志输出将影响到系统其它部分,换话说,其它应用程序将读取关键业务日志应用到它们的商业逻辑

    youdao

  • As he argues, the worn-out thinking and exhausted logic of the past have lost their relevance.

    认为过去思维逻辑陈旧不堪,现已不合时宜

    youdao

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

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

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