Expanding Belnap: dualities for a new class of default bilattices

Andrew Craig, Brian A. Davey, Miroslav Haviar

Bilattices provide an algebraic tool with which to model simultaneously knowledge and truth. They were introduced by Belnap in 1977 in a paper entitled \emph{How a computer should…