Stone algebras: 3-valued logic and rough sets

Abstract

In this article, we propose 3-valued semantics of the logics compatible with Stone and dual Stone algebras. We show that these logics can be considered as 3-valued by establishing soundness and completeness results. We also establish rough set semantics of these logics where the third value can be interpreted as not certain but possible.