Vague li-ideals in lattice implication algebras
Representation of Algebras by sections of sheaves
Representable autometrized algebras
Fuzzy subalgebras and congruences