The logical role of the four-valued bilattice

In his well-known paper “How computer should think” (1977) Belnap argues that four-valued semantics is a very suitable setting for computerized reasoning. In this paper we vindicate this thesis by showing that the logical role that the four-valued structure has among Ginsberg´s well-known bilattices is similar to the role that the two-valued algebra has among Boolean algebras