正则可离关系之最小覆盖成员的判定结果

摘要：

根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G2=G2({1,2})UG2之关系图的基础图连通,则T(G2)不是P*K的最小覆盖成员的结论.

关键词：多值逻辑、完备性、Sheffer函数、极大封闭集(准完备集)、最小覆盖、正则可离关系

所属期刊栏目：43

分类号：O141(数理逻辑、数学基础)

资助基金：国家自然科学基金60083001;湖南省自然科学基金03JJY3099;湘潭大学校科研和教改项目04XZX02

在线出版日期：2007-04-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：28-29,44