TY - RPRT TI - Rough bi-Heyting algebra and its applications on Rough bi-intuitionistic logic AU - B. Praba AU - L. P. Anto Freeda PY - 2025 UR - https://arxiv.org/abs/2208.11851 ID - 2208.11851 ER -