Generalized boolean algebras and applications

Abstract

A new notion of a lattice valued Boolean algebra is introduced. It is based on an algebra with two binary, a unary and two nullary operations, which is not a crisp Boolean algebra in general. The classical equality is replaced by a lattice valued equivalence so that the Boolean algebra identities are correspondingly satisfied. Main properties of the new introduced notion are proved, and a connection with the notion of a generalized lattice valued lattice is provided. As an application, the paper contains basic structures for developing generalized Boolean functions.