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 show that rough set theory can be modelled by these logics where the third value can be interpreted as not certain but possible.