模糊时序逻辑相关硕士博士期刊学术论文 - 搜论网

模糊时序逻辑相关论文

模糊时序逻辑的语义及其广义重言式

讨论了时序命题逻辑系统MPTL模糊化的问题,给出了模糊时序命题逻辑系统FMPTL的语义及其广义重言式的概念,并讨论了广义重言式的分......

期刊

模糊时序逻辑语义广义重言式克里普克语义广义泛代数计算机科学 Fuzzy temporal logicKripke semanticα-tautolog

模糊时序命题逻辑系统的语义

时序逻辑是一种特殊的模态逻辑,　它不仅是程序语义描述的有力工具,而且在知识的形式表示方面表现出越来越多的优越性.　但遗憾的......

学位

广义泛代数模糊时序逻辑广义重言式广义MP 规则广义HS规则

看过本文同时还关注