Nelson algebras, residuated lattices and rough sets: A survey
Nelson algebras, residuated lattices and rough sets: A survey
Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is currently lacking, and the theory of Nelson algebras remains largely unknown to most logicians. This …