Nelson algebras and residuated lattices are explored in-depth, focusing on their applications to rough set theory.
