go top

Intermediate logic

  • 中间逻辑(中介逻辑是直觉主义逻辑和经典逻辑之间的中介,也称超直觉主义或次经典逻辑。它包含直觉主义逻辑中不可证明的定理,但不等于经典逻辑)

网络释义英英释义

  中间逻辑

中间逻辑

基于1个网页-相关网页

短语

propositional intermediate logic 命题中间

Intermediate logic

  • abstract: In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Classical logic is the strongest consistent superintuitionistic logic, thus consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between intuitionistic logic and classical logic).

以上来源于: WordNet

双语例句

  • A process has input logic, which you can see if you are in intermediate mode or higher.

    流程具有输入逻辑中级模式高级模式下可以看到一点。

    youdao

  • By changing from basic mode to intermediate mode or higher, you can use the expression builder to define the actual logic for the business decision.

    通过基本模式更改中级模式更高模式,可以使用表达式生成器业务决策定义实际逻辑

    youdao

  • Intermediate objects are representations of business objects that are used by the person constructing the event processing logic.

    Intermediate对象代表那些用于构建事件处理逻辑业务对象。

    youdao

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

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

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