计算机科学 ›› 2014, Vol. 41 ›› Issue (8): 60-62.doi: 10.11896/j.issn.1002-137X.2014.08.012
• 2013年全国理论计算机科学学术年会 • 上一篇 下一篇
王婷,刘任任,马珂
WANG Ting,LIU Ren-ren and MA Ke
摘要: Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题。根据部分多值逻辑函数的完备性理论,研究了部分多值逻辑函数集中准完备集的分类问题,从而为解决部分多值逻辑中Sheffer函数的判定问题提供了研究基础。
[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! |
|