This paper deals with two sorts of binary Kripke-style semantics, i.e., algebraic and non-algebraic semantics, for three-valued logic. We first introduce three systems, their corresponding algebraic ...

Computer Weekly\'s editor gives a personal perspective on the biggest issues in technology and IT strategy. In his 1983 book, Modern times: a history of the world from the 1920s to the year 2000, ...