部分多值逻辑中保正规关系的准完备集的性质

刘任任; 罗秋棠; 王婷

doi:10.14188/j.1671-8836.2012.02.014

您当前的位置：

首页 >

文章列表页 >

部分多值逻辑中保正规关系的准完备集的性质

计算机科学 | 更新时间：2021-04-02

- 部分多值逻辑中保正规关系的准完备集的性质
- Properties of Precomplete Classes Preserving Regular Relation in Partial Multiple-Valued Logic
- 武汉大学学报（理学版） 2012年58卷第2期页码：135-138
- 作者机构：
  
  1. 湘潭大学信息工程学院
  2. 华东师范大学软件学院
- 作者简介：
- 基金信息：
  
  国家自然科学基金资助项目（60673193）;湖南省科技厅计划项目（2011FJ6038）;湖南省教育厅科学基金项目（11C1216）;湘潭大学自科基金项目资助（10XZX19）
- DOI：10.14188/j.1671-8836.2012.02.014
  中图分类号： O141
- 纸质出版日期：2012-02-01，
- 稿件说明：
移动端阅览
[1]刘任任,罗秋棠,王婷.部分多值逻辑中保正规关系的准完备集的性质[J].武汉大学学报(理学版),2012,58(02):135-138.

LIU RENREN1, LUO QIUTANG2, WANG TING1. Properties of Precomplete Classes Preserving Regular Relation in Partial Multiple-Valued Logic. [J]. 2012, 58(2): 135-138.
[1]刘任任,罗秋棠,王婷.部分多值逻辑中保正规关系的准完备集的性质[J].武汉大学学报(理学版),2012,58(02):135-138. DOI： 10.14188/j.1671-8836.2012.02.014.

LIU RENREN1, LUO QIUTANG2, WANG TING1. Properties of Precomplete Classes Preserving Regular Relation in Partial Multiple-Valued Logic. [J]. 2012, 58(2): 135-138. DOI： 10.14188/j.1671-8836.2012.02.014.

摘要

在多值逻辑完备性理论中

Sheffer函数的刻划是一个重要的问题

此问题的解决可归结为定出其准完备集的最小覆盖.本文对部分多值逻辑函数集中保正规关系的准完备集的性质进行了研究

为确定部分多值逻辑函数集中准完备集的最小覆盖奠定了一定的基础.

Abstract

In completeness theories of multiple-valued logic

the characterization of Sheffer functions is an important problem and the solution can be reduced to determine the minimal coverings of precomplete classes. In this paper

some properties of precomplete classes preserving regular relation in partial multiple-valued logic are researched.It laid the foundation for the decision on minimal covering of precomplete sets in partial multiple-valued logic.

关键词

部分多值逻辑准完备集Sheffer函数保关系最小覆盖

Keywords

multi-valued logicprecomplete classesSheffer functionpreserving relationminimal covering

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据