Abstract
Bilattices are one of algebraic structures and have had an extensive use in recent years, most notably in the area of logic programming. These structures are also useful as a semantic tool for defining multi-valued logics. Many properties of bilattices' are strongly related to non-monotone reasoning, and especially suitable for reasoning in the presence of inconsistency. In this paper, we discuss the interlacing condition of bilattices' and give some new sufficient conditions for bilattices not to be interlaced.
