时态赋值相关硕士博士期刊学术论文 - 搜论网

时态赋值相关论文

格值时态命题逻辑LTP（X）的语义问题

在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是),建立了一个以时轴为语境的......

期刊

格蕴涵代数时态赋值命题逻辑格值逻辑 lattice implication algebra tense valuation propositional

看过本文同时还关注