邹晶
- 作品数：4 被引量：1H指数：1
- 供职机构：上海大学更多>>
- 相关领域：理学自动化与计算机技术自然科学总论更多>>
- 有限极大前缀码的生成算法被引量：1
- 1991年
- 本文给出了生成有限极大前缀码的算法。
- 邱伟德邹晶杨耀池
- 关键词：前缀码
- 中介模态逻辑——形式系统及语义
- 1991年
- 本文构造中介模态逻辑,给出三个系统MT,MS_4和MS_5,它们分别是经典模态逻辑T,S_4,S_5的扩展.我们取中介集合论作为元语言研究它们的语义问题,并且证明这三个系统的可靠性定理与完备性定理.
- 邹晶邱伟德
- 关键词：语义
- 中介逻辑的命题演算系统的可判定性
- 1989年
- 文[1,2]给出了中介逻辑的命题演算系统MP及MP~*,文[3]给出了MP~*的语义解释并证明了MP~*在此语义解释下的可靠性、完备性定理。但文[3]中完备性定理的证明是非构造性的。
- 邹晶
- 关键词：命题演算完备性定理构造性证明可判定性语义解释
- 中介逻辑命题演算系统的可满足性的判定复杂度
- 1989年
- [1]证明了中介逻辑的命题演算系统MP(见[2])中的每一合式公式可以分解为以形如p,p,～p,～p(p为原子命题)为基子句的析取范式,本文的主要结果为:判定以形如p,p,～p,～p为文字的子句集的可满足性问题是NP完全的。
- 邹晶肖奚安
- 关键词：中介逻辑命题演算可满足性
