Computer Science ›› 2014, Vol. 41 ›› Issue (8): 60-62.doi: 10.11896/j.issn.1002-137X.2014.08.012

Previous Articles     Next Articles

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

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!
Full text



[1] LEI Li-hui and WANG Jing. Parallelization of LTL Model Checking Based on Possibility Measure[J]. Computer Science, 2018, 45(4): 71 -75 .
[2] SUN Qi, JIN Yan, HE Kun and XU Ling-xuan. Hybrid Evolutionary Algorithm for Solving Mixed Capacitated General Routing Problem[J]. Computer Science, 2018, 45(4): 76 -82 .
[3] ZHANG Jia-nan and XIAO Ming-yu. Approximation Algorithm for Weighted Mixed Domination Problem[J]. Computer Science, 2018, 45(4): 83 -88 .
[4] WU Jian-hui, HUANG Zhong-xiang, LI Wu, WU Jian-hui, PENG Xin and ZHANG Sheng. Robustness Optimization of Sequence Decision in Urban Road Construction[J]. Computer Science, 2018, 45(4): 89 -93 .
[5] SHI Wen-jun, WU Ji-gang and LUO Yu-chun. Fast and Efficient Scheduling Algorithms for Mobile Cloud Offloading[J]. Computer Science, 2018, 45(4): 94 -99 .
[6] ZHOU Yan-ping and YE Qiao-lin. L1-norm Distance Based Least Squares Twin Support Vector Machine[J]. Computer Science, 2018, 45(4): 100 -105 .
[7] LIU Bo-yi, TANG Xiang-yan and CHENG Jie-ren. Recognition Method for Corn Borer Based on Templates Matching in Muliple Growth Periods[J]. Computer Science, 2018, 45(4): 106 -111 .
[8] GENG Hai-jun, SHI Xin-gang, WANG Zhi-liang, YIN Xia and YIN Shao-ping. Energy-efficient Intra-domain Routing Algorithm Based on Directed Acyclic Graph[J]. Computer Science, 2018, 45(4): 112 -116 .
[9] CUI Qiong, LI Jian-hua, WANG Hong and NAN Ming-li. Resilience Analysis Model of Networked Command Information System Based on Node Repairability[J]. Computer Science, 2018, 45(4): 117 -121 .
[10] WANG Zhen-chao, HOU Huan-huan and LIAN Rui. Path Optimization Scheme for Restraining Degree of Disorder in CMT[J]. Computer Science, 2018, 45(4): 122 -125 .