Xavier Caicedo Compactness and Normality in Abstract Logics. 33-43 1993 59 Ann. Pure Appl. Logic 1 db/journals/apal/apal59.html#Caicedo93