activity
20152022
most citedTopological Representation of Double Boolean Algebras

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing 2015Show all

1 paper · 1 filter

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…