tense logic language 时态逻辑语言
Fuzzy tense logic 模糊时态逻辑
medium tense logic 中介时态逻辑
tense logic detail 时态逻辑
tense-logic language 时态逻辑语言
tense Deontic logic 道义时态逻辑
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
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]
应用推荐