2 papers
math.LO2017
Stone and double Stone algebras: Boolean and Rough Set Representations, 3-valued and 4-valued Logics
Arun Kumar
Moisil in 1941, while constructing the algebraic models of n-valued Łukasiewicz logic defined the set ,where is a Boolean algebra and `n' being a natural number. Furth…
math.LO2015
Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-valued, Rough and Perp Semantics
Arun Kumar, Mohua Banerjee
A structural theorem for Kleene algebras is proved, showing that an element of a Kleene algebra can be looked upon as an ordered pair of sets. Further, we show that negation with t…