A domain calculus based on Heyting-valued logic. - Lastovicka, Jan (Journal of Logic & Computation, 2025)