Semi-Brouwerian algebras

Publisher Website
Google Scholar
Abstract
Ever since David Ellis has shown that a Boolean algebra has a natural structure of an autometrized space, the interest in such spaces has led several authors to study various autometrized algebras like Brouwerian algebras [9], Newman algebras [4], Lattice ordered groups [6], Dually residuated lattice ordered semigroups [7] etc. However all these spaces are lattices (with the exception of Newman algebra which is not even a partially ordered set); and a natural question would be whether there are semilattices with a natural structure of an autometrized space. In the present paper we observe that the dual of an implicative semilattice [8] is a generalization of Brouwerian algebra and it has a natural structure of an autometrized space.

This publication has 7 references indexed in Scilit: