Justifying Calculational Logic by a Conventional Metalinguistic Semantics
Aaron, Eric; Allen, Stuart
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.
computer science; technical report
Previously Published As