Pure and Applied Mathematics Journal

| Peer-Reviewed |

Algebra of Finite-Valued Functions: Classification of Functions and Subalgebras, Essential and Fictitious Subalgebras

Received: 28 April 2019    Accepted: 02 June 2019    Published: 26 June 2019
Views:       Downloads:

Share This Article

Abstract

The classification of subalgebras of every algebra of finite-valued functions is constructed. Classes of this classifications do not intersect. Each class contains subalgebras with the same number of functions in minimal basis. Class with ordinal number 0 contains subalgebras that have no basis. The class with finite ordinal number n contains subalgebras whose minimal basis has n functions. The set of subalgebras of this class are countable. There is a class with infinite ordinal number. Subalgebras of this class have a minimal basis with infinite number of functions. The set of these subalgebras is continual. Only the class with ordinal number 1 is essential, all other classes are fictitious, since they are useless to classify functions. But classification of functions is the main problem of the algebra of finite-valued functions. A class of this classification is a set of functions extracted from one-member bases of a subalgebra. Each function generates by superpositions some subalgebra, and only this subalgebra. So, this function belongs to only one class. All these classes of functions belong to the class 1 of subalgebras. All subalgebras from classes with the other ordinal numbers are useless to classify functions. The set of these fictitious subalgebras is continual, the set of essential subalgebras are countable. The top level of the classification of functions contains the algebra of finite-valued functions. Next level contains maximal subalgebras. According to I.G. Rosenberg, there are 6 sets of maximal subalgebras. I.G. Rosenberg was wrong to state the set of his quasilinear functions be maximal. Only Yablonsky’s set of quasilinear functions is maximal. The sixth Rosenberg’s set also turns to be wrong. This right set was built by A.I. Maltsev. But from 6 sets only 3 sets contain essential subalgebras. And all maximal essential subalgebras containing 3-valued 2-place functions are built.

DOI 10.11648/j.pamj.20190802.11
Published in Pure and Applied Mathematics Journal (Volume 8, Issue 2, April 2019)
Page(s) 30-36
Creative Commons

This is an Open Access article, distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution and reproduction in any medium or format, provided the original work is properly cited.

Copyright

Copyright © The Author(s), 2024. Published by Science Publishing Group

Keywords

Algebra of Finite-Valued Functions, Classification of Finite-Valued Functions, Post Algebras, Maximal Algebras

References
[1] E. L. Post, Introduction to a general theory of elementary propositions Amer. J. Math., (43), 163–185 (1921).
[2] E. L. Post, Two-valued iterative systems of mathematical logic, Princeton, Princeton Univ. Press (1941).
[3] A. V. Kuznetsov, On means for detecting of non-deductibility and inexpressibleness (Russian), in Logical conclusion, M., Science, 5–33 (1979).
[4] S. S. Marchenkov, On Expressibility of Multivalued Logic Functions in some Logic-Functional Languages (Russian), Discrete Mathematics, (11:4), 110–126 (1999).
[5] S. S. Marchenkov, S-classification of many-valued logic functions, Discrete Mathematics (9:3), 125–152 (1997).
[6] S. S. Marchenkov, S-classification of many-valued logic functions (Russian), M., Physmatlit (2001).
[7] S. S. Marchenkov, Equational closure (Russian), Discrete Mathematics, (17:2), 117–126 (2005).
[8] S. S. Marchenkov, On structure of equationally closed classes (Russian), Discrete Mathematics, (18), 18–30 (2006).
[9] S. S. Marchenkov, Definability in language of functional equations of countably-valued logic (Russian), Discrete Mathematics, (25:4), 13–23 (2013).
[10] S. S. Marchenkov, On FE-Precomplete Classes of Countable Logic (Russian), Discrete Mathematics, (28:2), 51–57 (2016).
[11] A. V. Kuznetsov, Algebra of logic and its generalization (Russian), in Mathematics in USSR for 40 years, M. Physmatlit, 102–115 (1959).
[12] E. Yu. Zakharova, V. B. Kudryavtsev, S. V. Yablonsky, On precomplete classes in k-valued logics (Russian), Reports of USSR Academy of Sciences (186:3), 509–513 (1969).
[13] S. V. Yablonsky, Functional constructions in k-valued logic (Russian), Proceedings of Mat. Institute of the USSR Academy of Sciences. V. A. Steklova, (51) 5–142 (1958).
[14] D. Lau, Submaximale klassen von P3, J. Inf. Process. Cybern. EIK (18:4/5), 227-243 (1982).
[15] I. G. Rosenberg, The number of maximal closed classes in the set of functions over a finite domain, J. combinat. Theory, Ser. A (14), (1–7) (1973).
[16] Yu. I. Yanov, A. A. Muchnik, On the existence of k -valued closed classes that do not have a finite basis (Russian), Doc. USSR Academy of Sciences, (127:1), 44–46 (1959).
[17] M. A. Malkov, Classification of Closed Sets of Functions in Multi-valued Logic, SOP Transactions on applied Math., (1:3), 96–105 (2014).
[18] M. A. Malkov Classifications of Boolean Functions and Their Closed Sets, SOP Transactions on applied Math., (1:2), 172–193 (2014).
[19] A. I. Maltsev, Iterative Post Algebras, Novosibirsk, Novosib. state un-t (1976).
[20] M. A. Malkov, Finite Closed Sets of Functions in Multi-Valued Logic, Pure and Appl. Math J., (6:1), 14-24 (2017).
[21] S. V. Yablonsky, G. I. Gavrilov, V. B. Kudryavtsev, Functions of the algebra of logic and Post classes, M., Science (1966).
[22] I. G. Rosenberg, Complete sets for finite algebras Math. Nachr., (4), 253-258 (1970).
[23] D. Lau, Function algebras on finite sets, Berlin, Heidelberg, New York, Springer monographs in mathematics (2006).
[24] N. M. Martin, The Sheffer functions of tree valued logic, J. Symb. Log (19), 45-51 (1954).
[25] M. A. Malkov Complete generators in 4-valued logic and Rousseau’s results, Intern. J. of Math. and its Applications, (2:6), 49-57 (2014).
Author Information
  • Department of mathematics, Russian Research Center for Artificial Intelligence, Moscow, Russia

Cite This Article
  • APA Style

    Maydim Malkov. (2019). Algebra of Finite-Valued Functions: Classification of Functions and Subalgebras, Essential and Fictitious Subalgebras. Pure and Applied Mathematics Journal, 8(2), 30-36. https://doi.org/10.11648/j.pamj.20190802.11

    Copy | Download

    ACS Style

    Maydim Malkov. Algebra of Finite-Valued Functions: Classification of Functions and Subalgebras, Essential and Fictitious Subalgebras. Pure Appl. Math. J. 2019, 8(2), 30-36. doi: 10.11648/j.pamj.20190802.11

    Copy | Download

    AMA Style

    Maydim Malkov. Algebra of Finite-Valued Functions: Classification of Functions and Subalgebras, Essential and Fictitious Subalgebras. Pure Appl Math J. 2019;8(2):30-36. doi: 10.11648/j.pamj.20190802.11

    Copy | Download

  • @article{10.11648/j.pamj.20190802.11,
      author = {Maydim Malkov},
      title = {Algebra of Finite-Valued Functions: Classification of Functions and Subalgebras, Essential and Fictitious Subalgebras},
      journal = {Pure and Applied Mathematics Journal},
      volume = {8},
      number = {2},
      pages = {30-36},
      doi = {10.11648/j.pamj.20190802.11},
      url = {https://doi.org/10.11648/j.pamj.20190802.11},
      eprint = {https://download.sciencepg.com/pdf/10.11648.j.pamj.20190802.11},
      abstract = {The classification of subalgebras of every algebra of finite-valued functions is constructed. Classes of this classifications do not intersect. Each class contains subalgebras with the same number of functions in minimal basis. Class with ordinal number 0 contains subalgebras that have no basis. The class with finite ordinal number n contains subalgebras whose minimal basis has n functions. The set of subalgebras of this class are countable. There is a class with infinite ordinal number. Subalgebras of this class have a minimal basis with infinite number of functions. The set of these subalgebras is continual. Only the class with ordinal number 1 is essential, all other classes are fictitious, since they are useless to classify functions. But classification of functions is the main problem of the algebra of finite-valued functions. A class of this classification is a set of functions extracted from one-member bases of a subalgebra. Each function generates by superpositions some subalgebra, and only this subalgebra. So, this function belongs to only one class. All these classes of functions belong to the class 1 of subalgebras. All subalgebras from classes with the other ordinal numbers are useless to classify functions. The set of these fictitious subalgebras is continual, the set of essential subalgebras are countable. The top level of the classification of functions contains the algebra of finite-valued functions. Next level contains maximal subalgebras. According to I.G. Rosenberg, there are 6 sets of maximal subalgebras. I.G. Rosenberg was wrong to state the set of his quasilinear functions be maximal. Only Yablonsky’s set of quasilinear functions is maximal. The sixth Rosenberg’s set also turns to be wrong. This right set was built by A.I. Maltsev. But from 6 sets only 3 sets contain essential subalgebras. And all maximal essential subalgebras containing 3-valued 2-place functions are built.},
     year = {2019}
    }
    

    Copy | Download

  • TY  - JOUR
    T1  - Algebra of Finite-Valued Functions: Classification of Functions and Subalgebras, Essential and Fictitious Subalgebras
    AU  - Maydim Malkov
    Y1  - 2019/06/26
    PY  - 2019
    N1  - https://doi.org/10.11648/j.pamj.20190802.11
    DO  - 10.11648/j.pamj.20190802.11
    T2  - Pure and Applied Mathematics Journal
    JF  - Pure and Applied Mathematics Journal
    JO  - Pure and Applied Mathematics Journal
    SP  - 30
    EP  - 36
    PB  - Science Publishing Group
    SN  - 2326-9812
    UR  - https://doi.org/10.11648/j.pamj.20190802.11
    AB  - The classification of subalgebras of every algebra of finite-valued functions is constructed. Classes of this classifications do not intersect. Each class contains subalgebras with the same number of functions in minimal basis. Class with ordinal number 0 contains subalgebras that have no basis. The class with finite ordinal number n contains subalgebras whose minimal basis has n functions. The set of subalgebras of this class are countable. There is a class with infinite ordinal number. Subalgebras of this class have a minimal basis with infinite number of functions. The set of these subalgebras is continual. Only the class with ordinal number 1 is essential, all other classes are fictitious, since they are useless to classify functions. But classification of functions is the main problem of the algebra of finite-valued functions. A class of this classification is a set of functions extracted from one-member bases of a subalgebra. Each function generates by superpositions some subalgebra, and only this subalgebra. So, this function belongs to only one class. All these classes of functions belong to the class 1 of subalgebras. All subalgebras from classes with the other ordinal numbers are useless to classify functions. The set of these fictitious subalgebras is continual, the set of essential subalgebras are countable. The top level of the classification of functions contains the algebra of finite-valued functions. Next level contains maximal subalgebras. According to I.G. Rosenberg, there are 6 sets of maximal subalgebras. I.G. Rosenberg was wrong to state the set of his quasilinear functions be maximal. Only Yablonsky’s set of quasilinear functions is maximal. The sixth Rosenberg’s set also turns to be wrong. This right set was built by A.I. Maltsev. But from 6 sets only 3 sets contain essential subalgebras. And all maximal essential subalgebras containing 3-valued 2-place functions are built.
    VL  - 8
    IS  - 2
    ER  - 

    Copy | Download

  • Sections