Goedel logics: Prenex fragments. - Matthias Baaz; Mariami Gamsakhurdia (CoRR, 2024)

Skolemization In Intermediate Logics. - Matthias Baaz; Mariami Gamsakhurdia; Rosalie Iemhoff; Raheleh Jalali (CoRR, 2025)