You are here: Home :: Area NEM :: Mathematics

S. S. Marchenkov

Equational closure

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.

Discrete Mathematics and Applications, Walter de Gruyter

Print ISSN: 0924-9266
Volume: 15, 05/2005
Pages: 289 - 298

Show full article (external site)

Show all available items of this journal

 

Area NEM