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 |
Post Algebras, Closed Sets of Functions and Relations, Logic of Superpositions
| [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). |
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
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
Share This Article
Twitter
Linked In
Facebook
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}
}
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 -
Email: