Pure and Applied Mathematics Journal
Volume 6, Issue 4, August 2017, Pages: 114-119
Received: Jun. 10, 2017;
Accepted: Jun. 22, 2017;
Published: Jul. 20, 2017
Views 2378 Downloads 162
Maydim Malkov, Russian Research Center for Artificial Intelligence, Moscow, Russia
The Galois algebra and the universal Post algebra of compositions are constructed. The universe of the Galois algebra contains relations, both discrete and continuous. The found proofs of Galois connections are shorter and simpler. It is noted that anti-isomorphism of the two algebras of functions and of relations allows to transfer the results of the modern algebra of functions to the algebra of relations, and vice versa, to transfer the results of the modern algebra of relations to the algebra of functions. A new Post algebra is constructed by using pre-iterative algebra and by adding relations as one more universe of the algebra. The universes of relations and functions are discrete or continuous. It is proved that the Post algebra of relations and the Galois algebra are equal. This allows to replace the operation of conjunction by the operation of substitution and to exclude the operation of exist quantifier.
Galois and Post Algebras of Compositions (Superpositions), Pure and Applied Mathematics Journal.
Vol. 6, No. 4,
2017, pp. 114-119.
Copyright © 2017 Authors retain the copyright of this article.
This article is an open access article distributed under the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0/
) which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Post E. L., Two-valued iterative systems of mathematical logic. Princeton Univ. Press, Princeton (1941).
Rosenbloom Paul C., Post algebras. I. Postulates and general theory, Amer. J. Math. 64, 167-–188 (1942).
Mal’cev A. I., Iterative Post algebras, NGU, Novosibirsk, (Russian) (1976).
Jablonskij S. V., Functional constructions in many-valued logics (Russian). Tr. Mat. Inst. Steklova, 51 5-142 (1958).
Jablonskij, S. W., Gavrilov, G. P., Kudryavcev, V. B., Boolean function and Post classes (Russian), Nauka, Moscow (1966).
Birkgoff G., Lattice theory, American Math. Soc., Providence Rhode island (1940)
Geiger D., Closed systems of functions and predicates Pacific J. Math. 27, 95-–100 (1968).
Bondarchuk, V. G., Kaluzhnin, L. A., Kotov, V. N., Romov, B. A., Galois theory for Post algebras I–II. (Russian) Kibernetika, 3, 1–-10 (1969), 5, 1-–9 (1969). English translation: Cybernetics, 243–-252 and 531-–539 (1969).
Marchenkov C., Basic of Boolean functions theory (Russian), Fizmatlit, Moscow (2000).
Malkov M. A., Classification of closed sets of functions in multi-valued logic. Sop transaction on applied math. 1:3 (2014).
Lau D., Functions algebra on finite sets, Springer (2006).