We provide a metalinguistic formalization of calculational logic, an alternative to higher-order logic for escaping the restrictions of first-order logic. We show that conventional semantic techniques can provide an adequate foundation for calculational logic, even its atypical metalinguistic features.