Information types in intuitionistic predicate logic with constant domains. - Vít Punochár; Carles Noguera (Log. J. IGPL, 2026)