RUS  ENG
Full version
JOURNALS // Diskretnaya Matematika // Archive

Diskr. Mat., 2005 Volume 17, Issue 2, Pages 117–126 (Mi dm103)

This article is cited in 14 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.

UDC: 519.716

Received: 24.08.2004

DOI: 10.4213/dm103


 English version:
Discrete Mathematics and Applications, 2005, 15:3, 289–298

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025