Title :
Representation of symmetric algebras and its subvarieties
Author :
Garcia, P. ; Esteva, F.
Author_Institution :
Univ. Politecnica de Catalunya, Barcelona, Spain
Abstract :
A generalization to symmetric and k-symmetric algebras of the Bialinicky-Birula representation theorems for De Morgan algebras is proved. All the subdirectly irreducible k-symmetric algebras are characterized.<>
Keywords :
formal logic; Bialinicky-Birula representation theorems; De Morgan algebras; k-symmetric algebras; subvarieties; symmetric algebras representation; Boolean algebra; Calculus; Equations; Kalman filters; Lattices; Logic functions;
Conference_Titel :
Multiple-Valued Logic, 1988., Proceedings of the Eighteenth International Symposium on
Conference_Location :
Palma de Mallorca, Spain
Print_ISBN :
0-8186-0859-5
DOI :
10.1109/ISMVL.1988.5184
