|
This article is cited in 2 scientific papers (total in 2 papers)
Schaefer classes, Post classes and Galois connections
V. S. Litvinenkoa, A. V. Tarasovb a TVP Laboratory, Moscow
b Moscow State Technical University of Radio Engineering, Electronics and Automatics, Moscow
Abstract:
An universal algebra on the set of Boolean functions with operations of function conjunction, projection with respect to a variable and transposition of variables is considered. The structure of functions constituting subalgebras of this algebra are described. It is shown that there exists a Galois connection between subalgebras of the algebra considered and subalgebras of iterative Post algebra; this connection links our results with known papers on Post classes.
Key words:
Boolean function, Boolean predicate, universal algebra, Post classes, Schaefer classes, Galois connections.
Received 22.IV.2014
Citation:
V. S. Litvinenko, A. V. Tarasov, “Schaefer classes, Post classes and Galois connections”, Mat. Vopr. Kriptogr., 6:1 (2015), 81–107
Linking options:
https://www.mathnet.ru/eng/mvk152https://doi.org/10.4213/mvk152 https://www.mathnet.ru/eng/mvk/v6/i1/p81
|
Statistics & downloads: |
Abstract page: | 606 | Full-text PDF : | 620 | References: | 74 | First page: | 2 |
|