In a number of papers M.Ginsberg introduced algebras called bilattices having two separate lattice structure and one additional basic unary operation. They originated as an algebraization of some nonclassical logics that arise in artificial intelligence and knowledge-based logic programming. In this paper we introduce some new class of bilattices which originate from interval lattices and show that each of them is simple. A known simple lattices are used to give other examples of simple bilattices. We also describe simple bilattices satisfying some additional identities so called P-bilattices (or interlaced bilattices).
展开▼
