arXiv:2406.15183 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords algebraic category, congruence extension property, subresiduated lattices, totally ordered subresiduated nelson algebras, main tool Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset