Abstract
Superfunctions, i.e., sets of Boolean functions dependent on the same variables are considered. The closure operation is defined on the set of superfunctions. The issues of completeness and expressibility are studied for this functional system.
Similar content being viewed by others
REFERENCES
E. L. Post, ‘‘Introduction to a general theory of elementary propositions’’, Amer. J. Math. 43 (3) 163–185 (1921).
E. L. Post, The Two-Valued Iterative Systems of Mathematical Logic, Annals of Mathematics Studies, vol. 6 (Princeton Univ. Press, Princeton, 1941). https://doi.org/10.1515/9781400882366
S. S. Marchenkov and A. B. Ugol’nikov, Closed Classes of Boolean Functions (Inst. Prikladnoi Matematiki Keldysha, Moscow, 1990).
S. S. Marchenkov Foundations of the Theory of Boolean Functions (Fizmatlit, Moscow, 2014).
V. V. Tarasov, ‘‘Completeness criterion for incompletely defined functions of Boolean algebra’’, Probl. Kibern., No. 30, pp. 319–325 (1975).
H. Machida, ‘‘Hyperclones on a two-element set’’, Multiple Valued Logic: Int. J. 8, 495–501 (2002).
J. Čolić Oravec, H. Machida, J. Pantović, and G. Vojvodić, ‘‘From clones to hyperclones’’, Zb. Rad. Sel. Top. Logic Comput. Sci. 18 (26), 111–144 (2015).
ACKNOWLEDGMENTS
The author thanks O.S. Dudakova for problem formulation and discussion of the results of this work.
Funding
The work is supported by the Russian Foundation for Basic Research (project no. 18-01-00337) and by the Russian Science Foundation (project no. 19-71-30004).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
The author declares that she has no conflicts of interest.
Additional information
Translated by E. Oborin
About this article
Cite this article
Maslova, I.I. On Classes of Superfunctions on Two-Element Set. Moscow Univ. Math. Bull. 76, 234–238 (2021). https://doi.org/10.3103/S0027132221050041
Received:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S0027132221050041