On Bochvar Algebras and Regular Double Stone Algebras
Bochvar algebras and regular double Stone algebras are the equivalent algebraic semantics of logics widely used for reasoning about partial information in computer science and AI. Viewed as categories, they are both equivalent to certain categories based on Boolean algebras. Despite this similarity, the precise rel...