Justifying Calculational Logic by a Conventional Metalinguistic Semanti cs
Eric Aaron, Stuart M. Allen · 1999
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.