A 4-valued logic for double Stone algebras. - Arun Kumar 005; Neha Gaur; Bisham Dewan (Int. J. Approx. Reason., 2025)