Published online by Cambridge University Press: 09 April 2009
A notion of a normal autometrized algebra is introduced which generalises the concepts of Boolean geometry. Brouwerian geometry, autometrized lattice ordered groups, semi-Brouwerian geometry, etc. The notions of ideals and congruence relations are introduced in normal autometrized algebras and a one to one correspondence between ideals and congruence relations is established. Some other common properties of the above geometries are also obtained for normal autometrized algebras.