计算机科学 ›› 2014, Vol. 41 ›› Issue (8): 60-62.doi: 10.11896/j.issn.1002-137X.2014.08.012

• 2013年全国理论计算机科学学术年会 • 上一篇    下一篇

部分多值逻辑函数集中准完备集的分类问题研究

王婷,刘任任,马珂   

  1. 湘潭大学信息工程学院 湘潭411105;湘潭大学智能计算与信息处理教育部重点实验室 湘潭411105;湘潭大学信息工程学院 湘潭411105;湘潭大学智能计算与信息处理教育部重点实验室 湘潭411105;湘潭大学信息工程学院 湘潭411105
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家自然科学基金(60673193),湖南省重点学科建设项目(计算机科学与技术),湖南省科技厅计划(2011FJ6038)资助

Research on Classification of Precomplete Classes in Partial Multiple-valued Logic Function Sets

WANG Ting,LIU Ren-ren and MA Ke   

  • Online:2018-11-14 Published:2018-11-14

摘要: Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题。根据部分多值逻辑函数的完备性理论,研究了部分多值逻辑函数集中准完备集的分类问题,从而为解决部分多值逻辑中Sheffer函数的判定问题提供了研究基础。

关键词: 多值逻辑,完备性,保关系,准完备集,Sheffer函数

Abstract: The simplest decision on Sheffer function is an important theoretical and practical problem in structure theory of multiple-valued logic functions.According to the completeness theory of partial multiple-valued logic functions,this paper studied the classification of pre-complete classes in multiple-valued logic function sets.The obtained results provide some basis for judging Sheffer functions in partial multiple-valued logic.

Key words: Multiple-valued logic,Completeness,Preserving relation,Pre-complete classes,Sheffer functions

[1] 罗铸楷,胡谋,陈廷槐.多值逻辑的理论及应用[M].北京:科学出版社,1992
[2] Chajda I,Halas R,Rosenberg I G.On the role of logical connectives for primality and functional completeness of algebras of logics[J].Inf.Sci.,2010,180(8):1345-1353
[3] Fotea V L,Rosenberg I G.Hypergroupoids determined by lat-tices[J].Eur.J.Comb.,2010,31(3):925-931
[4] Machida H,Rosenberg I G.On Endoprimal Monoids in CloneTheory[C]∥ISMVL.2009:167-172
[5] Mishchenko A,Brayton R K,et al.Global delay optimizationusing structural choices[C]∥FPGA 2010.2010:181-184
[6] Mishchenko A,Case M L,Brayton R K,et al.Scalable and scalably-verifiable sequential synthesis[C]∥ICCAD 2008.2008:234-241
[7] Kimura H,Hanyu T,Kameyama M,et al.Multiple-valued logic-in-memory VLSI based on ferroelectric capacitor storage and charge addition[C]∥Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic.2002:161-166
[8] Jang S,Wu D,Jarvin M,et al.Brayton:SmartOpt:an industrial strength framework for logic synthesis[C]∥FPGA 2009.2009:237-240
[9] Wang Ting,Tan Hao-xun,Liu Ren-ren.An Effective Conversion Algorithm of Arithmetic Expression from Infix Form to Prefix Form[J].Applied Mechanics and Materials,2011(58-60):1350-1353
[10] 王婷,刘任任.部分多值逻辑中单纯可离和完满对称关系的计数[J].计算机科学,2012,9(10):224-226
[11] 刘任任,王婷,谭昊勋.关于部分多值逻辑函数集中准完备集的若干性质[J].计算机学报,2012,5(4):754-760
[12] Liu Ren-ren,Wang Ting.Some Results on Decision of Basic Groups and Basic Semigroups in Partial Multiple-Valued Logic[C]∥ICMT2011 .IEEE Computer Society,2011:6011-6015
[13] 刘任任,王婷,谭昊勋.部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定[J].计算机科学,2010,7(11):257-260
[14] 刘任任,罗秋棠,王婷.部分多值逻辑中保正规关系的准完备集的性质[J].武汉大学学报:理学版,2012,8(2):135-138
[15] 王湘浩.有限集合上缺值与不缺值函数的结构理论[J].吉林大学自然科学学报,1963(2):295-315
[16] Freǐvald R V.A completeness criterion for partial functions of logic and many-valued logic (Russian)[J].Dokl.Akad.Nauk.SSSR,1966,167:1249-1250
[17] 罗铸楷.部分多值逻辑函数集中的极大封闭集[J].数学学报,1984,27(6):795-800
[18] 罗铸楷.部分多值逻辑函数的完备性理论[J].数学学报,1984,27(5):676-683
[19] 刘任任.部分三值逻辑中准完备集之最小覆盖[J].湘潭大学自然科学学报,1991,3(2):158-164
[20] Liu Ren-ren.Some results on the decision for Sheffer functions in partial K-valued Logic,Multiple-Valued Logical[J].An International Journal,1996(1):253-269
[21] Liu Ren-ren.Some results on the decision for Sheffer functions in partial K-valued Logic(II)[C]∥Proceeding of the 29th international Symposium on Multiple-valued logic.1998:77-81
[22] Liu Ren-ren.Research on the Similarity among Precomplete Sets Preserving m-ary Relations in Partial K-Valued Logic[C]∥Proceedings of the 30th International Symposium on Multiple-Va-lued Logic.1999:136-139
[23] Rosenberg I G,Machida H.Gigantic Pairs of Minimal Clones[C]∥ISMVL 1999.1999:74-79
[24] Rosenberg I G,Schweigert D.Locally Maximal Clones II[J].Journal of Automata,Languages and Combinatorics,2000,5(4):421-456
[25] Haddad L,Machida H,Rosenberg I G.On the Intersection ofMaximal Partial Clones and the Join of Minimal Partial Clones[C]∥ISMVL 2000.2000:396-401
[26] Machida H,Miyakawa M,Rosenberg I G.Some Results on the Centralizers of Monoids in Clone Theory[C]∥ISMVL 2002.2002:10-16
[27] Machida H,Rosenberg I G.On the Centralizers of Monoids inClone Theory[C]∥ISMVL 2003.2003:303-308
[28] Liu Ren-ren,et al.Some results on the minimal coverings of precomplete classes in partial k-valued logic functions[J].Journal of Computer Science and Technology,2004,9(6):981-985
[29] Machida H,Rosenberg I G.Monoids whose Centralizer is the Least Clone[C]∥ISMVL 2004.2004:102-108
[30] Liu Ren-ren,et al.On The Categorizing of Simply Separable Relations In Partial Four-Valued Logic[J].Lecture Notes in Computer Science,2005,2:1251-1256
[31] Liu Ren-ren,et al.On the Categorizing of Fully Symmetric Relations in Partial Four-valued Logic[J].Lecture Notes in Artificial Intelligence,2006,4223:286-289
[32] Haddad L,Lau D.Characterization of Partial Sheffer Functions in 3-Valued Logic[C]∥ISMVL 2007.2007:34-38
[33] Liu Ren-ren.On Basic Groups and Basic Semi-groups in Partial Multiple-Valued Logic[C]∥Proceedings of Fourth International Conference on Fuzzy Systems and Knowledge Discover.2007,2
[34] Haddad L.Partial Clones Containing All Selfdual MonotonicBoolean Partial Functions[C]∥ISMVL 2009.2009:173-178
[35] Couceiro M,Haddad L.Finitely Generated Maximal PartialClones and Their Intersections[C]∥ISMVL 2010.2010:122-127
[36] Machida H,Pantovic J,Rosenberg I G.Galois Connection for Hyperclones[C]∥ISMVL 2010.2010:201-204

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!