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).