|
This article is cited in 13 scientific papers (total in 13 papers)
Equational closure
S. S. Marchenkov
Abstract:
On the base of equation calculus, we define the operator of equational closure.
We give examples of equationally complete systems and equationally closed classes.
We find the cardinality of the set of equationally precomplete classes
and give criteria of equational completeness. We present all equationally closed classes
of Boolean functions. This research was supported by the Russian Foundation for Basic Research,
grant 03–01–00783.
Received: 24.08.2004
Citation:
S. S. Marchenkov, “Equational closure”, Diskr. Mat., 17:2 (2005), 117–126; Discrete Math. Appl., 15:3 (2005), 289–298
Linking options:
https://www.mathnet.ru/eng/dm103https://doi.org/10.4213/dm103 https://www.mathnet.ru/eng/dm/v17/i2/p117
|
Statistics & downloads: |
Abstract page: | 621 | Full-text PDF : | 262 | References: | 82 | First page: | 1 |
|