Varieties of interior algebras
暂无分享,去创建一个
Westudy (generalized) Boolean algebras endowedwith an interior operator, called (generalized) interior algebras. Particular attention is paid to the structure of the free (generalized) interior algebra on a finite numberof generators. Free objects in somevarieties of (generalized) interior algebras are determined. Using methods of a universal algebraic nature we investigate the lattice of varieties of interior algebras.
[1] G. Birkhoff. Subdirect unions in universal algebra , 1944 .
[2] E. J. Lemmon,et al. Algebraic semantics for modal logics I , 1966, Journal of Symbolic Logic (JSL).