Algebraic Semantics for a Mixed Type Fragment of IPC. - Lipka, Eryk; Słomczyńska, Katarzyna (Studia Logica, 2026)