George Weaver Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems. 325-342 1994 53 Studia Logica 2 db/journals/sLogica/sLogica53.html#Weaver94