Abstract
In completeness theories of multiple-valued logic, the characterization of Sheffer functions is an important issue. The solution can be reduced to determining the minimal coverings of precomplete classes. In this paper, someFull Symmetric Function Sets (m=3) are proved to be components of the minimal covering of precomplete classes inP * k .
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Jan Lukasiewicz. On three-valued logic.Ruch Filozoficzny, 1920, (5): 169–171.
Emil Post. Introduction to a general theory of elementary propositions.American Journal of Mathematics, 1921, (43): 163–185.
Emil Post. The two-valued iterative systems of mathematical logic.Annals of Math. Studies, 1941, (5): 1–122.
Jablonskii S V. Functional constructions in ak-valued logic.Trudy Mat. Inst. Steklov, 1985, 51: 5–142. (in Russian)
Rosenberg I. La Structure des fonctions de plusieurs variables sur un ensemble fini.C. R. Acad. Sci. Paris, 1965, (260): 3817–3819. (in French)
Wang Xianghao. Structure theory of total and partial functions defined in a finite set.Acta Sc. Natur. Univ. Jiliensis, 1963, (2): 295–316. (in Chinese)
Luo Zhukai. The completeness theory of partial manyvalued logic functions.Acta Math. Sinica, 1984, 27(5): 676–683; Russian Translation Cybernetics Sbornik 1988, (25): 142–161.
Luo Zhukai. All maximal subgroups defined by regular binary relations in symmetric group.Acta Math. Sinica. 1985, 28(6): 612–621.
Liu Renren, Luo Zhukai. The maximal closed classes of unary functions in p-valued logic.Mathematical Logic Quarterly, 1996, (42): 234–240.
Sheffer H M. A set of five independent postulates for Boolean algebras with application to logical constants.Trans. Am. Math. Soc., 1913, (14): 481–488.
Schofield P. Independent conditions for completeness of finite algebras with a single generator.J. London Math. Soc., 1969, 44: 413–423.
Kudrjavcev V B. The coverings of precomplete classes ofk-valued logic.Diskret. Analiz., 1970, 17: 32–44. (in Russian)
Liu Renren. The minimal covering of precomplete classes in partial three-valued logic.Natur. Sci., J. Xiangtan Univ., 1991, 13(2): 158–164.
Liu Renren. The minimal covering of precomplete classes in partial four-valued logic. InProc. ICYCS'91, 1991, pp.280–282.
Liu Renren. Some results on the decision for Sheffer functions in partialK-valued logic.Multiple Valued Logic—An International Journal, 1996, 1, 253–269.
Liu Renren. Some results on the decision for Sheffer functions in partialK-valued logic (II). InProc. the 28th International Symposium on Multiple-Valued Logic, 1998, pp.77–81.
Liu Renren. Research on the similarity among precomplete sets preservingm-ary relations in partialK-valued logic. InProc. the 29th Int. Symp. Multiple-Valued Logic, 1999, pp.136–139.
Liu Renren. Some results on the minimal coverings of precomplete classes in partialK-valued logic functions. InProc. 2003 IEEE Int. Conf. Systems, Man & Cybernetics, 0-7803-7952-7/03 @2003 IEEE, pp.2645–2647.
Author information
Authors and Affiliations
Additional information
Note
This work is supported by the National Natural Science Foundation of China (Grant Nos.60083001 and 60375021).
Rights and permissions
About this article
Cite this article
Liu, RR., Chen, SQ., Chen, JE. et al. Some results on the minimal coverings of precomplete classes in partialk-valued logic functions. J. Comput. Sci. & Technol. 19, 981–985 (2004). https://doi.org/10.1007/BF02973463
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF02973463