中英▼
go top

tense logic

  • n. 时态逻辑；时态逻辑学

网络释义专业释义

  时态逻辑

时态逻辑（tense logic）是非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。

基于171个网页-相关网页

短语

tense logic language 时态逻辑语言

medium tense logic 中介时态逻辑

Fuzzy tense logic 模糊时态逻辑

tense-logic language 时态逻辑语言

tense Deontic logic 道义时态逻辑

 更多收起网络短语
  • 时态逻辑 - 引用次数：6

    In order to effectively describe the relatively static state of the real world,the feasibility of introducing the reflexive property into linear tense logic theorem system of philosophical logic is analyzed.

    为了能够有效的描述现实世界中的相对静止状态,分析了在哲学逻辑理论中的线序时态逻辑定理系统中引入自反性质的可行性,在此基础上建立了具有自反性质的线序时态逻辑系统TA。

    参考来源 - 具有自反性质的线序时态逻辑研究
  • 时态逻辑
  • 时态逻辑
  • 时态逻辑

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

 柯林斯英汉双解大词典 

tense logic

  • 1. 

    N the study of the logical properties of tense operators, and of the logical relations between sentences having tense, by means of consideration of appropriate formal systems 时态逻辑 [logic]

权威例句

  • Though logic suggests that segregating religious groups is a recipe for disaster in these tense days, a decent education gives young people prospects that should ease their integration and reduce the lure of extremism.

    ECONOMIST: Are they unjustly under fire?

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

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

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