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.

Figure 1
Loading...
Posted 04 Jun, 2021
On 21 Jul, 2021
Received 01 Jun, 2021
Invitations sent on 01 Jun, 2021
On 30 May, 2021
Posted 04 Jun, 2021
On 21 Jul, 2021
Received 01 Jun, 2021
Invitations sent on 01 Jun, 2021
On 30 May, 2021
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.

Figure 1
Loading...