Semiregular frames
Autometrized algebras are a common generalization e.g. of commutative lattice ordered groups and Brouwerian algebras. In the paper, spectra of normal autometrized lattice ordered algebras (i.e. topologies of sets (and subsets) of their proper prime ideals) are studied. Especially, the representable dually residuated lattice ordered semigroups are examined.