Alladi Ramakrishnan Hall

( Residuated ) Topological Quasi - Boolean Algebras

Mihir Chakraborty

IIEST, Shibpur

A bunch of algebraic structures emerged from the studies in
rough set theory. This bunch is rooted in what has been called Topological
Quasi-Boolean Algebras. In recent researches a product operator has been
introduced in these algebras and residuation operation developed thereby.
This class of algebras forms a quasi-variety with strong finite model
property, which, in turn implies decidability of the word problem of this
class.

This is joint work with Lin Zhe, Mihir Kr. Chakraborty and Minghui Ma.