| Peer-Reviewed

Post and Jablonsky Algebras of Compositions (Superpositions)

Received: 29 November 2018     Accepted: 14 December 2018     Published: 10 January 2019
Views:       Downloads:
Abstract

There are two algebras of compositions, Post and Jablonsky algebras. Definitions of these algebras was very simple. The article gives mathematically precise definition of these algebras by using Mal’cev’s definitions of the algebras. A. I. Mal’cev defined pre-iterative and iterative algebras of compositions. The significant extension of pre-iterative algebra is given in the article. Iterative algebra is incorrect. E. L. Post used implicitly pre-iterative algebra. S. V. Jablonsky used implicitly iterative algebra. The Jablonsky algebra has the operation of adding fictitious variables. But this operation is not primitive, since the addition of fictitious variables is possible at absence of this operation. If fictitious functions are deleted in the Jablonsky algebra then this algebra becomes correct. A natural classification of closed sets is given and fictitious closed sets are exposed. The number of fictitious closed sets is continual, the number of essential closed sets is countable.

Published in Pure and Applied Mathematics Journal (Volume 7, Issue 6)
DOI 10.11648/j.pamj.20180706.13
Page(s) 95-100
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), 2019. Published by Science Publishing Group

Keywords

Post Algebras, Closed Sets of Functions and Relations, Logic of Superpositions

References
[1] E. L. Post Introduction to a general theory of elementary propositions Amer. J. Math. 43:4 163–185 (1921).
[2] E. L. Post Two-valued iterative systems of mathematical logic Princeton Princeton Univ. Press (1941).
[3] S. V. Jablonsky, G. P. Gavrilov, V. B. Kudryavcev Functions of algebra logic and Post classes (Russian) M. Nauka (1966).
[4] A. I. Mal’cev Post iterative algebras (Russian) Novosibirsk NGU (1976).
[5] D. Lau Functions algebras on finite sets N. Y. Springer (2006).
[6] M. A. Malkov Poat’s thesis and wrong Yanov-Muchnik's statement in multi-valued logic Pure and Appl. Math. J. 4:4 172-177 (2015).
[7] M. A. Malkov Galois and Post Algebras of Compositions (Superpositions) Pure and Appl. Math. J. 6:4 2017 114-119
[8] Y. I. Yanov, A. A. Muchnik On existence of k-valued closed classes without finite bases (Russean) Doklady AN SSSR 127: 1 44–46 (1959).
[9] M. A. Malkov Classification of closed sets of functions in multi-valued logic SOP Transaction on Appl. Math. 1: 3 96–105 (2014).
[10] M. A. Malkov Classification of Boolean functions and their closed sets SOP Transaction on Appl. Math. 1:2 172–193 (2014).
Cite This Article
  • APA Style

    Maydim Malkov. (2019). Post and Jablonsky Algebras of Compositions (Superpositions). Pure and Applied Mathematics Journal, 7(6), 95-100. https://doi.org/10.11648/j.pamj.20180706.13

    Copy | Download

    ACS Style

    Maydim Malkov. Post and Jablonsky Algebras of Compositions (Superpositions). Pure Appl. Math. J. 2019, 7(6), 95-100. doi: 10.11648/j.pamj.20180706.13

    Copy | Download

    AMA Style

    Maydim Malkov. Post and Jablonsky Algebras of Compositions (Superpositions). Pure Appl Math J. 2019;7(6):95-100. doi: 10.11648/j.pamj.20180706.13

    Copy | Download

  • @article{10.11648/j.pamj.20180706.13,
      author = {Maydim Malkov},
      title = {Post and Jablonsky Algebras of Compositions (Superpositions)},
      journal = {Pure and Applied Mathematics Journal},
      volume = {7},
      number = {6},
      pages = {95-100},
      doi = {10.11648/j.pamj.20180706.13},
      url = {https://doi.org/10.11648/j.pamj.20180706.13},
      eprint = {https://article.sciencepublishinggroup.com/pdf/10.11648.j.pamj.20180706.13},
      abstract = {There are two algebras of compositions, Post and Jablonsky algebras. Definitions of these algebras was very simple. The article gives mathematically precise definition of these algebras by using Mal’cev’s definitions of the algebras. A. I. Mal’cev defined pre-iterative and iterative algebras of compositions. The significant extension of pre-iterative algebra is given in the article. Iterative algebra is incorrect. E. L. Post used implicitly pre-iterative algebra. S. V. Jablonsky used implicitly iterative algebra. The Jablonsky algebra has the operation of adding fictitious variables. But this operation is not primitive, since the addition of fictitious variables is possible at absence of this operation. If fictitious functions are deleted in the Jablonsky algebra then this algebra becomes correct. A natural classification of closed sets is given and fictitious closed sets are exposed. The number of fictitious closed sets is continual, the number of essential closed sets is countable.},
     year = {2019}
    }
    

    Copy | Download

  • TY  - JOUR
    T1  - Post and Jablonsky Algebras of Compositions (Superpositions)
    AU  - Maydim Malkov
    Y1  - 2019/01/10
    PY  - 2019
    N1  - https://doi.org/10.11648/j.pamj.20180706.13
    DO  - 10.11648/j.pamj.20180706.13
    T2  - Pure and Applied Mathematics Journal
    JF  - Pure and Applied Mathematics Journal
    JO  - Pure and Applied Mathematics Journal
    SP  - 95
    EP  - 100
    PB  - Science Publishing Group
    SN  - 2326-9812
    UR  - https://doi.org/10.11648/j.pamj.20180706.13
    AB  - There are two algebras of compositions, Post and Jablonsky algebras. Definitions of these algebras was very simple. The article gives mathematically precise definition of these algebras by using Mal’cev’s definitions of the algebras. A. I. Mal’cev defined pre-iterative and iterative algebras of compositions. The significant extension of pre-iterative algebra is given in the article. Iterative algebra is incorrect. E. L. Post used implicitly pre-iterative algebra. S. V. Jablonsky used implicitly iterative algebra. The Jablonsky algebra has the operation of adding fictitious variables. But this operation is not primitive, since the addition of fictitious variables is possible at absence of this operation. If fictitious functions are deleted in the Jablonsky algebra then this algebra becomes correct. A natural classification of closed sets is given and fictitious closed sets are exposed. The number of fictitious closed sets is continual, the number of essential closed sets is countable.
    VL  - 7
    IS  - 6
    ER  - 

    Copy | Download

Author Information
  • Departament of Mathematics, Research Center for Artificial Intelligence, Moscow, Russia

  • Sections