形式推演相关论文
在多级安全数据库中,各种对象的安全标记随着数据库状态的变化而动态变化.系统根据标记生成规则库对各种对象进行标记.论文根据更......
引入了语言真值格值一阶逻辑系统Lv(n×2)F(X)的原子程度公式和语言真值格值程度合式公式的概念,讨论了解释域D下的公式偏真和恒真......
